src/gtkprefs.c

changeset 8190
405e176d3822
parent 8188
00097fe3f4a4
child 8231
347c8992c445

mercurial