src/settingseditor/settingseditor.ui

changeset 208
930928b760a2
parent 202
b05af0bab735
child 237
10a6298f636f
equal deleted inserted replaced
207:5315358a7d91 208:930928b760a2

mercurial