update documentation
[tools/mic.git] / AUTHORS
2012-12-20 Gui Chenupdate documentation