src/gtkprefs.c

changeset 7287
abe4e3c069d4
parent 7167
9cfb68a44e17
child 7305
4a612d68784d

mercurial