src/settingseditor/settingseditor.ui

changeset 368
9444de9762c3
parent 357
66c75604f5b8
equal deleted inserted replaced
367:df61cd3d5ab4 368:9444de9762c3

mercurial