chiark / gitweb /
Remove some unnecessary definitions.