vregistry.py
changeset 10648 a5428e1ab364
parent 8202 517fbaad0e6e