vregistry.py
changeset 10422 2b54acb271cb
parent 8202 517fbaad0e6e