src/gtkprefs.c

changeset 5637
78c02cfa43ea
parent 5635
fc9bdaabc3bc
child 5642
d7b8b62542a3

mercurial