aboutsummaryrefslogtreecommitdiff
path: root/dev-shell
AgeCommit message (Expand)Author
2014-05-26dev-shell is a bash script, not shSönke Hahn
2013-08-21Hack to clean up tests/test-tmpEelco Dolstra
2013-07-19Add hacking notes plus a script for running nix-shellEelco Dolstra