vregistry.py
branchstable
changeset 9168 0fb4b67bde58
parent 8202 517fbaad0e6e