vregistry.py
changeset 9034 cc3442054e48
parent 8202 517fbaad0e6e