aboutsummaryrefslogtreecommitdiff
path: root/dev-shell
AgeCommit message (Collapse)Author
2014-05-26dev-shell is a bash script, not shSönke Hahn
'type -p' does not work in e.g. dash
2013-08-21Hack to clean up tests/test-tmpEelco Dolstra
2013-07-19Add hacking notes plus a script for running nix-shellEelco Dolstra