chiark / gitweb /
.gitignore, subsequent to import into git.