src/gtkprefs.c

changeset 11501
a8fc92026134
parent 11442
604d5370ff80
child 11525
1d06283bdcc9

mercurial