src/gtkprefs.h

changeset 8726
3db8ac8e0ebb
parent 8713
8a7baa8f8460
child 8735
01248ea222d3

mercurial