src/gtkprefs.c

changeset 7749
afe790299bd7
parent 7731
7c3bb30a94c4
child 7797
9bdc74669c80

mercurial