src/gtkprefs.c

changeset 8726
3db8ac8e0ebb
parent 8713
8a7baa8f8460
child 8745
c3f2b6cd076b

mercurial