add no_shrink option to partition, fix parameter of disk.expand()
[tools/mic.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 2464 FAQ.rst
-rw-r--r-- 302 KNOWN_ISSUES
-rwxr-xr-x 30156 RELEASE_NOTES
-rw-r--r-- 1509 install.rst
-rw-r--r-- 5869 man.rst
-rw-r--r-- 10460 usage.rst