vregistry.py
changeset 2817 0313eecc707e
parent 2788 8d3dbe577d3a
child 2820 66b31686d92b