bootstrap.py
changeset 358 d33de925e83d
parent 292 b338586588ad