vregistry.py
branchstable
changeset 9203 c7ba8e5d2e45
parent 8202 517fbaad0e6e