bootstrap.py
changeset 502 403751b04d8e
parent 315 81e7c46a70c8