chiark / gitweb /
Cleanup: Remove an old piece of junk