src/gtkprefs.c

changeset 5705
e5abfd27f219
parent 5684
10b916deb20c
child 5716
efb909926936

mercurial