chiark / gitweb /
Tidy up the shell scripts somewhat.
[runlisp] / debian / compat
1 8