Changed the tools/mic-bootstrap to proper subdomain 49/28049/1
-rw-r--r-- 419 .gitignore
-rw-r--r-- 2261 README.txt
-rw-r--r-- 452 branches
-rw-r--r-- 47501 domains
-rw-r--r-- 255360 git-trees
drwxr-xr-x - scripts