chiark / gitweb /
git/gitignore: Ignore general Debian build debris.