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