vregistry.py
changeset 5570 50b887d25233
parent 5569 cb14af012a96
child 5572 df5551d697e8