chiark / gitweb /
Add some detritus from the debian build to .gitignore