src/settingseditor/settingseditor.ui

changeset 255
5188f8a74a5c
parent 237
10a6298f636f
child 282
f2dc3bbecbfa
equal deleted inserted replaced
254:b7b29cb82360 255:5188f8a74a5c

mercurial