vregistry.py
branchstable
changeset 8564 0e56f0c3fd1e
parent 8202 517fbaad0e6e