chiark / gitweb /
Remove some more build output files