chiark / gitweb /
Add .gitignore for new build directory