chiark / gitweb /
Removed some redundant and dead code