src/gtkprefs.c

changeset 10211
472f11207d90
parent 10203
21d6c11a53c6
child 10272
29aff2eb9290

mercurial