src/gtkprefs.c

changeset 5826
32bbc37943f4
parent 5825
fed4daea7eb9
child 5841
cf5e01e43741

mercurial