chiark / gitweb /
Merge branch 'master' of /u/webstump/live/
[modbot-mtm.git] / stump / bin / stump-pgp
2010-02-28 Ian JacksonMore error handling: set -e, set -o pipefail
2009-11-09 Ian JacksonInitial commit as found