src/settingseditor/settingseditor.ui

changeset 339
4787d05e9c89
parent 286
04478da357d0
child 335
c5830bce1c23
equal deleted inserted replaced
333:07e65a4c6611 339:4787d05e9c89

mercurial