summaryrefslogtreecommitdiff
path: root/doc/doxygen
AgeCommit message (Expand)Author
2016-03-15renameChristian Grothoff
2016-03-01renaming mint->exchangeChristian Grothoff
2015-03-28more doxygen fixesChristian Grothoff
2015-03-28-doxygen fixesChristian Grothoff