Luca Bruno e4e39f26ba Change default from gnome 3.10 to gnome 3.12		2014-09-08 18:35:45 +02:00
..
default.nix	Change default from gnome 3.10 to gnome 3.12	2014-09-08 18:35:45 +02:00