chiark / gitweb /
Remove useless code