vregistry.py
changeset 2787 ece5bbed3cd2
parent 2771 8074dd88e21b
child 2788 8d3dbe577d3a
equal deleted inserted replaced
2786:971d7c545505 2787:ece5bbed3cd2