src/gtkprefs.c

changeset 6872
61144295083e
parent 6861
4210d7406062
child 6928
17e0c572bd97

mercurial