chiark / gitweb /
Some stylistic fixups; get rid of warning when processing pre-publish-rejection log...
[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