chiark / gitweb /
Removed obsoleted code