vregistry.py
changeset 10797 b4f8c0b98c29
parent 8202 517fbaad0e6e