chiark / gitweb /
Clean up after coverage testing properly