src/gtkprefs.c

changeset 10264
a7f48c1faae6
parent 10203
21d6c11a53c6
child 10272
29aff2eb9290
equal deleted inserted replaced
10263:aa2350263bcd 10264:a7f48c1faae6

mercurial