aboutsummaryrefslogtreecommitdiff
path: root/Doxyfile
AgeCommit message (Collapse)Author
2019-06-27doxyfile does not belong into root dirFlorian Dold
2017-06-04fixing misc doxygen issuesChristian Grothoff
2017-06-04cleaning up use of doxygen, fixing #5057Christian Grothoff