bootstrap.py
changeset 1234 b58b0c89e016
parent 0 7c0001cacf8e