chiark / gitweb /
Remove useless use of cat causing pipefail problems
[modbot-ulm.git] / stump / doc /
2009-11-09 Ian JacksonInitial commit as found