src/gtkprefs.c

changeset 6770
5437edb4b2a8
parent 6623
75ba9eb9d3f8
child 6799
1c4e1b5fbaea

mercurial