chiark / gitweb /
Ignore boring files.