vregistry.py
changeset 8925 57f8a02550cc
parent 8202 517fbaad0e6e