bootstrap.py
changeset 19 312ca104c662
parent 10 00dec67cd49e