aboutsummaryrefslogtreecommitdiff
path: root/doc/doxygen
AgeCommit message (Expand)Author
2020-01-18deduplicate doxyfiles, integrate with buildChristian Grothoff
2018-11-25doxygen for exchange'Christian Grothoff
2017-06-04cleaning up use of doxygen, fixing #5057Christian Grothoff
2016-03-15renameChristian Grothoff
2016-03-01renaming mint->exchangeChristian Grothoff
2015-03-28more doxygen fixesChristian Grothoff
2015-03-28-doxygen fixesChristian Grothoff