vregistry.py
changeset 2787 ece5bbed3cd2
parent 2771 8074dd88e21b
child 2788 8d3dbe577d3a