vregistry.py
changeset 10071 4bc099f2a089
parent 8202 517fbaad0e6e