Luca Bruno 10f49c84dd Remove last reference to gnome3.gnome_icon_theme		2015-05-19 14:46:45 +02:00
..
default.nix	Remove last reference to gnome3.gnome_icon_theme	2015-05-19 14:46:45 +02:00