src/gtkprefs.c

changeset 10264
a7f48c1faae6
parent 10203
21d6c11a53c6
child 10272
29aff2eb9290

mercurial