chiark / gitweb /
.gitignore: Ignore boring files.