vregistry.py
changeset 10747 cf711d1c951f
parent 8202 517fbaad0e6e