chiark / gitweb /
Cleaned up more unneeded types and functions.