aboutsummaryrefslogtreecommitdiff
path: root/src/mint-lib
AgeCommit message (Expand)Author
2015-03-28-doxygen fixesChristian Grothoff
2015-03-28minor renaming of signature values and improved documentation of signatures, ...Christian Grothoff
2015-03-28second round of renamefestChristian Grothoff