Juan RP a8eeea9351 gnome: disable gnome-themes for now. ... --HG-- branch : gnome3		2011-03-09 18:29:32 +01:00
..
template	gnome: disable gnome-themes for now.	2011-03-09 18:29:32 +01:00