vregistry.py
changeset 2670 4747145ff69c
parent 2662 87aed8cb7ff6
child 2689 44f041222d0f