chiark / gitweb /
pwhich: '#! /bin/sh -e' -> '#! /bin/sh', 'set -e'.
[bin.git] / taskbot
2002-09-10 Colin WatsonMove most .pl scripts to names without extensions....