src/gtkprefs.c

changeset 13528
541152b0fad0
parent 13328
65543dcbaa89
child 13664
fdc3b588f248
equal deleted inserted replaced
13527:6e3aae1dc726 13528:541152b0fad0

mercurial