chiark / gitweb /
Remove old commented-out deletion code