chiark / gitweb /
.gitignore: Ignore `INSTALL'.