src/gtkprefs.c

changeset 7377
87363e10ea90
parent 7326
599c9e8c9da4
child 7431
f3eaace13491

mercurial