src/gtkprefs.c

changeset 6779
3cb6d3b763d3
parent 6623
75ba9eb9d3f8
child 6799
1c4e1b5fbaea

mercurial