src/gtkprefs.c

changeset 6908
feaaf1009435
parent 6861
4210d7406062
child 6928
17e0c572bd97

mercurial