fix debian packaging
[tools/mic.git] / COPYING
2012-12-20 Gui Chenupdate documentation