chiark / gitweb /
terminal: remove unused variable