vregistry.py
changeset 9366 bcbc92223b35
parent 8202 517fbaad0e6e