src/gtkprefs.c

changeset 7841
0000a4c68bf8
parent 7797
9bdc74669c80
child 7870
a91330fa7cbd

mercurial