src/gtkprefs.c

changeset 7758
2abc67d0f0a7
parent 7731
7c3bb30a94c4
child 7797
9bdc74669c80

mercurial