vregistry.py
changeset 9412 8aa6c923d6c0
parent 8202 517fbaad0e6e