src/gtkprefs.h

changeset 10264
a7f48c1faae6
parent 10207
e6578b73e8bb
child 10367
7bd4802cff7d

mercurial