src/settingseditor/settingseditor.ui

changeset 220
a6d937f8c0ac
parent 202
b05af0bab735
child 237
10a6298f636f
equal deleted inserted replaced
219:571e85c0d811 220:a6d937f8c0ac

mercurial