src/gtkprefs.c

changeset 10931
beba560607bb
parent 10930
b6406d3b0778
child 10972
a9993e713658

mercurial