chiark / gitweb /
delete obsolete and wrong code