src/gtkprefs.c

changeset 7634
d4b18edb51ec
parent 7562
7cbd89f3cef1
child 7731
7c3bb30a94c4

mercurial