bootstrap.py
changeset 1242 3599d25c7f10
parent 0 7c0001cacf8e