chiark / gitweb /
delete unused variables