src/settingseditor/settingseditor.ui

changeset 307
4771720fe258
parent 286
04478da357d0
child 335
c5830bce1c23
equal deleted inserted replaced
306:6ad27b7d2697 307:4771720fe258

mercurial