vregistry.py
changeset 10538 a2d2383612f3
parent 8202 517fbaad0e6e