chiark / gitweb /
.gitignore: Remove old things which aren't meant to exist any more.