src/gtkprefs.c

changeset 7674
187ead11ef5f
parent 7562
7cbd89f3cef1
child 7731
7c3bb30a94c4

mercurial