diff options
| author | jvoisin | 2019-02-03 18:33:25 +0100 |
|---|---|---|
| committer | jvoisin | 2019-02-03 18:33:25 +0100 |
| commit | 8b5d0c286c91537b43eb3284aa93b382636e7ebf (patch) | |
| tree | 112a5530d1695269a4cca420eacafa1da62e20b4 /INSTALL.md | |
| parent | 8e84ba547abbc3e2bed91f3bd508317d16bbb4c3 (diff) | |
Document how to get the coverage from the testsuite
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions