chiark / gitweb /
adt-run: remove debugging from auxverbscript