bootstrap.py
changeset 1050 0c77057e2fa1
parent 0 7c0001cacf8e