src/gtkprefs.c

changeset 7702
2b05a82ee94d
parent 7562
7cbd89f3cef1
child 7731
7c3bb30a94c4

mercurial