src/gtkprefs.c

changeset 10831
fbe1ff83d5a9
parent 10759
c6600b133594
child 10850
6889f793b918

mercurial