bootstrap.py
changeset 355 c693def6510f
parent 307 c6bca38c1cbf