src/gtkprefs.c

changeset 6494
21e66a116e2a
parent 6478
2c3fe7c8659b
child 6516
ea1e11634bf5

mercurial