src/configDialog.cc

changeset 772
e117509e1b51
parent 760
e4e585f464b3
child 780
b0d84fb70ea5
equal deleted inserted replaced
771:0f04e34bec54 772:e117509e1b51

mercurial