vregistry.py
branchstable
changeset 8500 bfc1875ce9e3
parent 8202 517fbaad0e6e