src/configDialog.cc

changeset 802
2e220b9083bf
parent 795
195fa1fff9c3
child 806
4240f47aa2d4
equal deleted inserted replaced
801:f6abc9eb4217 802:2e220b9083bf

mercurial