src/settingseditor/settingseditor.ui

changeset 289
a0ddbc9a4e77
parent 286
04478da357d0
child 335
c5830bce1c23

mercurial