Skip to content
Commits on Jun 17, 2008
  1. Delete temporary files when they are deallocated

    This will remove a lot of the stray files in the
    temporary dir. However, they won't be deleted on exit
    of the program. What to do about this?
Something went wrong with that request. Please try again.