bootstrap.py
changeset 312 7219e0e95439
parent 292 b338586588ad