rename all micng to mic
[tools/mic.git] / mic / __init__.py