vregistry.py
changeset 6033 09db6f4619c9
parent 6014 a5e22657f6f4
child 6068 3bbc79a39d3a
child 6347 ef47a2100c66
equal deleted inserted replaced
6032:52f9a43d8e08 6033:09db6f4619c9