src/gtkprefs.c

changeset 12881
d4db623e3d8c
parent 12857
2e99b4a360fc
child 12900
7fe519669e07

mercurial