fix conflict name
[tools/mic.git] / AUTHORS
2013-08-22 Gui Chenbump up to version 0.21-0.rc1
2013-03-21 Gui Chenupdate AUTHORS
2013-02-21 Gui Chenupdate AUTHORS
2012-12-20 Gui Chenupdate documentation