src/gtkprefs.c

changeset 6414
f78eb072fcc0
parent 6392
3db2b3c7b5aa
child 6421
5b6d0cc91bdc

mercurial