src/settingseditor/settingseditor.ui

changeset 367
df61cd3d5ab4
parent 357
66c75604f5b8
equal deleted inserted replaced
366:ea656dead697 367:df61cd3d5ab4

mercurial