src/gtkprefs.c

changeset 7584
c5c001397626
parent 7562
7cbd89f3cef1
child 7731
7c3bb30a94c4

mercurial