chiark / gitweb /
[PATCH] removed AUTHORS and INSTALL files as they were pretty pointless.