Revision 6a9478411b4cb1dd012b3e807f18ed9d5f17f6e4 authored by Thomas Mooney on 27 August 2014, 20:53:30 UTC, committed by Thomas Mooney on 27 August 2014, 20:53:30 UTC
We were coincidentally deleting the /tmp before (which we wanted). Now that we sometimes need to keep it, change directories to preserve it only when we want it. Otherwise let it get removed.
1 parent 885f1ad
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...