vregistry.py
changeset 2789 39712da6f397
parent 2788 8d3dbe577d3a
child 2820 66b31686d92b