src/gtkprefs.c

changeset 10249
c2bac7423743
parent 10203
21d6c11a53c6
child 10272
29aff2eb9290

mercurial