bootstrap.py
changeset 112 17dcac4dc388
parent 97 fe1785bdc9d7