src/gtkprefs.c

changeset 12864
072fcb25d27b
parent 12857
2e99b4a360fc
child 12900
7fe519669e07

mercurial