diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-12-14 13:36:59 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-12-14 13:36:59 +0100 |
| commit | 0f5ef01dd3ef623fb06d3cf9046a18ae818d2570 (patch) | |
| tree | d7572ede51e75d4c820a1a2357c4d93c883e0e36 /contrib/coverage.sh | |
| parent | 22eae129a9e5934d3fadf11cb4b4c6724c9d1aa8 (diff) | |
nicer error reporting
Diffstat (limited to 'contrib/coverage.sh')
0 files changed, 0 insertions, 0 deletions