vregistry.py
branchstable
changeset 8612 3bb96935a6b9
parent 8202 517fbaad0e6e