src/gtkprefs.c

changeset 8473
8acf91aaffac
parent 8467
95c289667891
child 8494
55cc657d9d8d

mercurial