src/settingseditor/settingseditor.ui

changeset 10
e249d97c7fe6
parent 7
68443f5be176
child 16
aeb5f203b3eb
equal deleted inserted replaced
9:8b9780700b5e 10:e249d97c7fe6

mercurial