diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-10-08 18:49:25 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-10-08 18:49:25 +0200 |
| commit | 0d5a3d7b6f4d60997eccee7463c81844366a1506 (patch) | |
| tree | 3b51d3a29eefb6e86f82100791bf52da7f9bc94c /contrib/coverage.sh | |
| parent | bde4c742de41b38f5a741dc78fae9c105d0fff72 (diff) | |
more comprehensive test-auditor.sh, including generate-auditor-basedb now
Diffstat (limited to 'contrib/coverage.sh')
0 files changed, 0 insertions, 0 deletions