chiark / gitweb /
Remove useless use of cat causing pipefail problems
[modbot-ulm.git] / stump / etc / added-footer.IN1