src/gtkprefs.c

changeset 13396
00e5457667ce
parent 13328
65543dcbaa89
child 13664
fdc3b588f248

mercurial