2 commits

Author	SHA1	Message	Date
Rob Vermaas	442bed3b59	Force bash usage in dev-shell. Should fix #236	2015-08-17 15:47:58 +00:00
Eelco Dolstra	659c829e88	Tweaks for nix-shell	2013-07-19 14:36:52 +02:00