vregistry.py
changeset 9061 e86fdab3d296
parent 8202 517fbaad0e6e