rename all micng to mic
[tools/mic.git] / distfiles /
2011-08-15 JF Dingrename all micng to mic
2011-08-10 JF Dingremove config key for release prefix name
2011-08-10 Zhou ShuangquanInitial checkin of micng
2011-07-29 JF Dingadd .gitignore file to project
2011-07-20 JF Dinginitial import code into git