chiark / gitweb /
Add generated files to .gitignore