src/gtkprefs.c

changeset 14024
60730ce4455c
parent 13986
9fc43f70e82f
child 14097
0c340861ab79

mercurial