make customized setting of plugin_dir work in bootstrap mode
[tools/mic.git] / mic /
drwxr-xr-x   ..
drwxr-xr-x - 3rdparty
-rw-r--r-- 103 __init__.py
-rw-r--r-- 8950 bootstrap.py
-rw-r--r-- 10194 chroot.py
-rw-r--r-- 8634 conf.py
-rw-r--r-- 14911 creator.py
drwxr-xr-x - imager
drwxr-xr-x - kickstart
-rw-r--r-- 8000 msger.py
-rw-r--r-- 3263 plugin.py
-rw-r--r-- 3048 pluginbase.py
-rw-r--r-- 7004 rt_util.py
drwxr-xr-x - utils