src/gtkprefs.c

changeset 13981
0a90ffff2784
parent 13720
051ef816673a
child 13986
9fc43f70e82f

mercurial