src/gtkprefs.c

changeset 12726
f87db99dc37a
parent 12720
d8e2988e9541
child 12737
e1300804318e

mercurial