src/settingseditor/settingseditor.ui

changeset 217
6d95c1a41e6e
parent 202
b05af0bab735
child 237
10a6298f636f

mercurial