chiark / gitweb /
Ignore distribution files better.