summaryrefslogtreecommitdiff
path: root/contrib/coverage.sh
AgeCommit message (Expand)Author
2016-03-01renaming mint->exchangeChristian Grothoff
2015-07-11update coverage scriptChristian Grothoff
2015-05-17adding script to generate code coverage reportChristian Grothoff