chiark / gitweb /
Merge branch 'master' of /u/webstump/live-mtm
[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