tree 68f0601285a0af5c45dc9cd9315435b79b10fee1
parent 14c80857a5f2a816cf0405624a32210018e85d53
author kun liu <kunliu@kuns-MacBook-Pro.local> 1491598320 -0700
committer Jakob Odersky <jakob@odersky.com> 1491857726 -0700

TOREE-403 : delete temporary directories after kernel shutdown

Closes #119