vregistry.py
changeset 6395 30582ba8b368
parent 6389 72ba82a26e05
child 6401 d7f5d873e1b8