vregistry.py
changeset 10284 fb113f9fa7d8
parent 8202 517fbaad0e6e
equal deleted inserted replaced
10283:8e6aa8ed6ee1 10284:fb113f9fa7d8