src/gtkprefs.c

changeset 10110
5869fb4a575d
parent 10108
0897c42d6cb9
child 10112
3133c5f8eb10

mercurial