vregistry.py
changeset 10626 93f8d239c708
parent 8202 517fbaad0e6e