src/gtkprefs.c

changeset 8999
dd434cfec86a
parent 8998
e18e340f1111
child 9025
e49a72896270

mercurial