vregistry.py
changeset 10741 6666e52d8dd9
parent 8202 517fbaad0e6e