vregistry.py
changeset 2059 af33833d7571
parent 2058 7ef12c03447c
child 2083 f8f94c2951d3