bootstrap.py
changeset 529 43de10a58806
parent 508 68363a813f33