chiark / gitweb /
cleanup: remove other redundant declarations