src/gtkprefs.c

changeset 11433
9bb4da495aa2
parent 11424
b0f8535daa74
child 11442
604d5370ff80

mercurial