src/gtkprefs.c

changeset 8784
71c51aa52be4
parent 8745
c3f2b6cd076b
child 8811
4488926eb4e2
equal deleted inserted replaced
8783:7be6da5bc279 8784:71c51aa52be4

mercurial