bootstrap.py
changeset 540 adf096fcbe10
parent 508 68363a813f33