vregistry.py
changeset 3998 94cc7cad3d2d
parent 3674 387d51af966d
child 4013 f0d1038e5059