vregistry.py
branchstable
changeset 9197 9905d9efa4a3
parent 8202 517fbaad0e6e