bootstrap.py
changeset 737 7482facfce2d
parent 0 7c0001cacf8e