chiark / gitweb /
Reintroduce .gitignore which a build tool brokenly deleted.