src/gtkprefs.c

changeset 7259
9d12688cee90
parent 7167
9cfb68a44e17
child 7305
4a612d68784d

mercurial