src/gtkprefs.c

changeset 11257
9743367c935e
parent 11256
fe82a0c5e5ec
child 11267
78f1eb5b3d6e

mercurial