src/gtkprefs.c

changeset 13005
0e5d9f487183
parent 12900
7fe519669e07
child 13046
99a2833aeae3

mercurial