chiark / gitweb /
Mirroring: Remove pointless empty .log files