chiark / gitweb /
Merge branch 'master' of /u/webstump/live-urcm
[modbot-mtm.git] / stump / bin / processApproved
2010-03-19 Ian JacksonMerge branch 'master' of /u/webstump/live-urcm
2010-03-19 Ian JacksonDebugging of modack.approved pipe failures
2010-02-28 Ian JacksonMore error handling: set -e, set -o pipefail
2009-11-09 Ian JacksonInitial commit as found