vregistry.py
changeset 11298 b1e7de000536
parent 8202 517fbaad0e6e