chiark / gitweb /
truncation: include header name in warning header
[modbot-ulm.git] / stump / bin / submitFailed
2010-02-28 Ian JacksonMore error handling: set -e, set -o pipefail
2009-11-09 Ian JacksonInitial commit as found