chiark / gitweb /
tmpdir: rename "tmpdir" variables etc. to "tmp"
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 14 Jun 2012 19:21:37 +0000 (20:21 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 14 Jun 2012 19:21:37 +0000 (20:21 +0100)
commitb089c4bcef781cc65c76ca3400cafbd50ba469d3
tree95402419023032e192619ca2790edbb004be4aa7
parentc08fd848f8f92f126484281a8331744a9cbd1b93
tmpdir: rename "tmpdir" variables etc. to "tmp"
debian/changelog
runner/adt-run