chiark / gitweb /
git: update .gitignore