vregistry.py
branchstable
changeset 8516 75fe6dca79b4
parent 8202 517fbaad0e6e