refactor mic/chroot.py:global_mounts
[tools/mic.git] / setup.cfg
1 [install]
2 prefix=$PREFIX