src/settingseditor/settingseditor.ui

changeset 331
638a7458ef5e
parent 286
04478da357d0
child 335
c5830bce1c23
equal deleted inserted replaced
330:edb6c09cdd3c 331:638a7458ef5e

mercurial