Alexander Ried 47f597b9b0 gnome-themes-standard: -> 3.22.1		2016-10-15 20:32:15 +02:00
..
default.nix	gnome3_22: init at 3.22	2016-10-15 20:32:11 +02:00
src.nix	gnome-themes-standard: -> 3.22.1	2016-10-15 20:32:15 +02:00