bootstrap.py
changeset 378 78f52faff595
parent 292 b338586588ad