Luca Bruno dbdb732849 maint script gnome-latest.sh: rename to gnome.sh, update src.nix		2015-09-17 17:02:55 +02:00
..
docker
scripts	maint script gnome-latest.sh: rename to gnome.sh, update src.nix	2015-09-17 17:02:55 +02:00