chiark / gitweb /
Mirroring: Tolerate missing .a file when tidying mirror