src/gtkprefs.c

changeset 13400
a23782f450d2
parent 13328
65543dcbaa89
child 13664
fdc3b588f248

mercurial