chiark / gitweb /
docs: add .gitignore