src/settingseditor/settingseditor.ui

changeset 295
4241d948af28
parent 286
04478da357d0
child 335
c5830bce1c23
equal deleted inserted replaced
294:70b69a15c736 295:4241d948af28

mercurial