chiark / gitweb /
clean up cores