chiark / gitweb /
8317 remove some output files