chiark / gitweb /
remove unused variable