src/gtkprefs.c

changeset 6568
5c8c70b63dc3
parent 6516
ea1e11634bf5
child 6621
2a18ef3e5224

mercurial