vregistry.py
branchstable
changeset 3586 52b00c5e441a
parent 3565 4db55832e8a9
child 3589 a5432f99f2d9
child 3638 648d6dbec630