src/settingseditor/settingseditor.ui

changeset 42
1d03dc1173cd
parent 40
30cb5e836736
child 44
c6114b3af3a6
equal deleted inserted replaced
41:0abada2a9802 42:1d03dc1173cd

mercurial