src/gtkprefs.c

changeset 6101
c3762fa398c4
parent 6088
c92fe7f28fa0
child 6122
9fbbcb229460

mercurial