vregistry.py
branchstable
changeset 10053 079b5279a2cd
parent 8202 517fbaad0e6e