vregistry.py
branchstable
changeset 9272 68744f5154c4
parent 8202 517fbaad0e6e