chiark / gitweb /
Debian packaging: Add some newer debian/ droppings to .gitignore.