chiark / gitweb /
buildserver: delete corrupt files from the cache