bootstrap.py
changeset 20 027147fbd5b3
parent 12 fae764fa609a