vregistry.py
changeset 2034 ddf4f2d8d51c
parent 2025 010a4b0fe855
child 2035 946ed7349e1a
equal deleted inserted replaced
2032:8db8c21779bc 2034:ddf4f2d8d51c