src/gtkprefs.c

changeset 7855
272c6a3311d1
parent 7797
9bdc74669c80
child 7870
a91330fa7cbd

mercurial