src/gtkprefs.c

changeset 12744
45d72d69f399
parent 12737
e1300804318e
child 12763
b3f7f1600753

mercurial