vregistry.py
changeset 10299 4f3b6dad5084
parent 8202 517fbaad0e6e