vregistry.py
changeset 10080 bc7c3b0f439b
parent 8202 517fbaad0e6e