src/gtkprefs.c

changeset 6546
6a14dfe43d5c
parent 6516
ea1e11634bf5
child 6621
2a18ef3e5224

mercurial