vregistry.py
changeset 9737 c6f47e635845
parent 8202 517fbaad0e6e