src/gtkprefs.c

changeset 7631
0e9e516bb6c3
parent 7562
7cbd89f3cef1
child 7731
7c3bb30a94c4

mercurial