src/configDialog.cc

changeset 783
1db20d88650f
parent 780
b0d84fb70ea5
child 789
4b7306f52bb5
equal deleted inserted replaced
782:70526ee626a0 783:1db20d88650f

mercurial