vregistry.py
changeset 10984 a42f6e7cef35
parent 8202 517fbaad0e6e