chiark / gitweb /
gitignore: Ignore more boring things.