src/gtkprefs.c

changeset 10040
b74aeb350fc5
parent 9993
ae32679a8892
child 10060
4256ee599d8c

mercurial