vregistry.py
branchstable
changeset 9158 08d8fba05854
parent 8202 517fbaad0e6e