src/gtkprefs.c

changeset 12304
e849bc5e8d5d
parent 12281
e5fe6c35c179
child 12412
8abe3226695e

mercurial