chiark / gitweb /
git: update gitignore