Luca Bruno 84327822e1 gnome-latest.sh: use bash, it doesn't work with sh		2015-06-11 12:27:50 +02:00
..
docker
scripts	gnome-latest.sh: use bash, it doesn't work with sh	2015-06-11 12:27:50 +02:00