chiark / gitweb /
Cleaned up more unneeded functions and types in: