Luca Bruno 84327822e1 gnome-latest.sh: use bash, it doesn't work with sh		2015-06-11 12:27:50 +02:00
..
docker	http://nixos.org -> https://nixos.org	2014-12-14 11:26:45 +01:00
scripts	gnome-latest.sh: use bash, it doesn't work with sh	2015-06-11 12:27:50 +02:00