vregistry.py
changeset 9461 fc3b8798737c
parent 8202 517fbaad0e6e