vregistry.py
changeset 9086 1084843ab2cb
parent 8202 517fbaad0e6e