Show logs inside 'Running scripts' in mic.
[tools/mic.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 2464 FAQ.rst
-rw-r--r-- 302 KNOWN_ISSUES
-rw-r--r-- 27491 RELEASE_NOTES
-rw-r--r-- 1509 install.rst
-rw-r--r-- 5869 man.rst
-rw-r--r-- 10460 usage.rst