chiark / gitweb /
adt-run: Reset changes made to the apt configuration, on exit