src/gtkprefs.c

changeset 13762
a6c3092757f3
parent 13720
051ef816673a
child 13986
9fc43f70e82f

mercurial