chiark / gitweb /
Rename `common/libtripe.a' to `.../libcommon.a'.