bootstrap.py
changeset 15 c3d0112a61f6
parent 12 fae764fa609a