work around to correct counter number of installing packages
[tools/mic.git] / COPYING
2012-12-20 Gui Chenupdate documentation