src/gtkprefs.c

changeset 8134
e0b690435403
parent 8104
8426a9a604f1
child 8137
ca2132ad085e

mercurial