src/gtkprefs.c

changeset 6605
665d3a8e885c
parent 6516
ea1e11634bf5
child 6621
2a18ef3e5224

mercurial