Merge branch 'release-0.19' into devel
[platform/upstream/mic.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 447 KNOWN_ISSUES
-rw-r--r-- 1225 RELEASE_NOTES
-rw-r--r-- 1185 faq.rst
-rw-r--r-- 1494 install.rst
-rw-r--r-- 5729 man.rst
-rw-r--r-- 10489 usage.rst