src/gtkprefs.c

changeset 7950
1f1f2fe00cef
parent 7940
a22f68bc5108
child 7976
fa3b5ed4ac97

mercurial