chiark / gitweb /
Clean up removed code.