vregistry.py
branchstable
changeset 8380 b752df3e8596
parent 7990 a673d1d9a738
child 8190 2a3c1b787688
equal deleted inserted replaced
8379:1a3746ec4d65 8380:b752df3e8596