Luca Bruno b83aceaecb Merge branch 'master' into staging		2014-08-14 23:09:59 +02:00
..
builder.sh
default-builder.sh
default.nix	Merge branch 'master' into staging	2014-08-14 23:09:59 +02:00
setup.sh	Set CONFIG_SHELL to stdenv.shell in the default builder, just like SHELL	2014-07-30 16:44:28 +02:00