src/settingseditor/settingseditor.ui

changeset 257
afdab56e8210
parent 237
10a6298f636f
child 282
f2dc3bbecbfa
equal deleted inserted replaced
256:c6f5de03dc0f 257:afdab56e8210

mercurial