remove tmp dir in runscript period
[tools/mic.git] / COPYING
2012-12-20 Gui Chenupdate documentation