src/gtkprefs.c

changeset 7750
311266ad4ffb
parent 7731
7c3bb30a94c4
child 7797
9bdc74669c80

mercurial