vregistry.py
changeset 8433 ff9d6d269877
parent 8202 517fbaad0e6e