src/settingseditor/settingseditor.ui

changeset 366
ea656dead697
parent 357
66c75604f5b8

mercurial