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