diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-10-26 22:36:57 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-10-26 22:36:57 +0200 |
| commit | 956f6dcab41dcbfdc174ec6b2197fa4d45363e77 (patch) | |
| tree | 6b6764fabd912dabc09b4729302e91c309c4ae96 /contrib/coverage.sh | |
| parent | c308e89eaa9ae38d7eb22534a771caac5666ce57 (diff) | |
disable failing test
Diffstat (limited to 'contrib/coverage.sh')
0 files changed, 0 insertions, 0 deletions