src/gtkprefs.c

changeset 10466
f4c0ecfaf9b2
parent 10398
e7543a7da8d6
child 10488
250dcd1136ca

mercurial