src/settingseditor/settingseditor.ui

changeset 375
21a5ecbe34e4
parent 357
66c75604f5b8
equal deleted inserted replaced
374:75efc3ba5a56 375:21a5ecbe34e4

mercurial