chiark / gitweb /
tmpdir: rename "tmpdir" variables etc. to "tmp"