src/gtkprefs.c

changeset 8481
7a9eb76e8eee
parent 8467
95c289667891
child 8494
55cc657d9d8d

mercurial