Luca Bruno 22f957dad2 Drop gnome_icon_theme* from gnome3		2015-05-19 14:45:00 +02:00
..
3.16	Drop gnome_icon_theme* from gnome3	2015-05-19 14:45:00 +02:00