src/gtkprefs.c

changeset 10320
f5b0f5cf8562
parent 10307
f3ba80364053
child 10349
8edbe78b800c

mercurial