vregistry.py
changeset 2676 1282a15eb20f
parent 2662 87aed8cb7ff6
child 2689 44f041222d0f