about summary refs log tree commit diff
path: root/AUTHORS
diff options
context:
space:
mode:
authorSönke Hahn <soenkehahn@gmail.com>2014-05-23T03·41+0800
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-05-26T15·21+0200
commitb1d39d476544644b2de8addb5ad3289fede2f95a (patch)
treee7d34224d965f3889d148390b27e6a13d751f7bd /AUTHORS
parent8ea9fd7aa6b2152f95724e504ac61c57d90b113c (diff)
dev-shell is a bash script, not sh
'type -p' does not work in e.g. dash
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions