Amend mic cr option of run_script
[platform/upstream/mic.git] / COPYING
2012-12-20 Gui Chenupdate documentation