chiark / gitweb /
debian/: Improve .gitignore