src/configDialog.cc

changeset 786
71d786ce0dcc
parent 780
b0d84fb70ea5
child 789
4b7306f52bb5
equal deleted inserted replaced
785:2a8e4bbb5a94 786:71d786ce0dcc

mercurial