aboutsummaryrefslogtreecommitdiff
path: root/contrib/coverage.sh
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-10-08 18:49:25 +0200
committerChristian Grothoff <christian@grothoff.org>2019-10-08 18:49:25 +0200
commit0d5a3d7b6f4d60997eccee7463c81844366a1506 (patch)
tree3b51d3a29eefb6e86f82100791bf52da7f9bc94c /contrib/coverage.sh
parentbde4c742de41b38f5a741dc78fae9c105d0fff72 (diff)
more comprehensive test-auditor.sh, including generate-auditor-basedb now
Diffstat (limited to 'contrib/coverage.sh')
0 files changed, 0 insertions, 0 deletions