src/settingseditor/settingseditor.ui

changeset 352
59a31dd8a33a
parent 347
5c655cc006de
child 356
65b4741b302d
equal deleted inserted replaced
351:9e3c1f838406 352:59a31dd8a33a

mercurial