vregistry.py
changeset 9975 98b4f7fa2e3a
parent 8202 517fbaad0e6e