src/gtkprefs.h

changeset 8190
405e176d3822
parent 8046
c581b20a47d6
child 8238
f7d22f952df5

mercurial