diff options
| author | Nadrieril Feneanar | 2020-03-20 19:04:17 +0000 |
|---|---|---|
| committer | GitHub | 2020-03-20 19:04:17 +0000 |
| commit | c944a61c17cffde8620c46c70fceb36462b082ca (patch) | |
| tree | 4722f8c1b934e0398e4676d2e396dbac93e816d0 /dhall/src/syntax | |
| parent | 6f06ff5e6168f4a55b4dcc1175f89b1d67c98ab1 (diff) | |
| parent | 48bc731fe8eb7d4ecfad5e8f834754c3a91e4359 (diff) | |
Merge pull request #153 from Nadrieril/grcov
Use grcov for coverage
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions