aboutsummaryrefslogtreecommitdiff
path: root/contrib/scripts/coverage.sh
Commit message (Expand)AuthorAge
* remove /usr/include from coverage analysisChristian Grothoff2019-09-05
* Restructure contrib folder.Nils Gillmann2018-05-19