chiark / gitweb /
Rename `common/libtripe.a' to `.../libcommon.a'.
[tripe] / .mailmap
2017-08-16 Mark Woodingdebian/copyright, .mailmap: Convert to machine-readable...