src/gtkprefs.c

changeset 10098
364dcec11abd
parent 10087
e5b80a38939d
child 10100
4bbba369808a

mercurial