vregistry.py
changeset 10092 f0363da0b5a0
parent 8202 517fbaad0e6e