bootstrap.py
changeset 510 808d6ab823ce
parent 508 68363a813f33