bootstrap.py
changeset 392 1af0ba410187
parent 292 b338586588ad