chiark / gitweb /
Removed some obsoleted types