chiark / gitweb /
.gitignore: Ignore new uninteresting files.