src/settingseditor/settingseditor.ui

changeset 210
232e7634cc8a
parent 202
b05af0bab735
child 237
10a6298f636f
equal deleted inserted replaced
209:c93e4a1eaadb 210:232e7634cc8a

mercurial