src/gtkprefs.c

changeset 13965
9a4e261e06dd
parent 13720
051ef816673a
child 13986
9fc43f70e82f

mercurial