src/gtkprefs.c

changeset 14049
c15c41423e19
parent 13986
9fc43f70e82f
child 14097
0c340861ab79
equal deleted inserted replaced
14048:b577c53406c0 14049:c15c41423e19

mercurial