chiark / gitweb /
tmpdir: rename "tmp" in run() to "testtmp"