src/gtkprefs.c

changeset 12778
e98948ef3259
parent 12763
b3f7f1600753
child 12812
d67a3e21ee10

mercurial