chiark / gitweb /
improve some messages
[innduct.git] / .stamp-patched