vregistry.py
changeset 9735 b71158815bc8
parent 8202 517fbaad0e6e