vregistry.py
changeset 10167 de62952550d9
parent 8202 517fbaad0e6e