src/gtkprefs.c

changeset 13451
8eed8846f96e
parent 13328
65543dcbaa89
child 13664
fdc3b588f248

mercurial