src/gtkprefs.c

changeset 10508
c606b1eafcf9
parent 10492
aa49df0671bd
child 10589
4e10236e06d4

mercurial