summaryrefslogtreecommitdiff
path: root/dhall/src/semantics
diff options
context:
space:
mode:
authorNadrieril Feneanar2020-03-20 19:04:17 +0000
committerGitHub2020-03-20 19:04:17 +0000
commitc944a61c17cffde8620c46c70fceb36462b082ca (patch)
tree4722f8c1b934e0398e4676d2e396dbac93e816d0 /dhall/src/semantics
parent6f06ff5e6168f4a55b4dcc1175f89b1d67c98ab1 (diff)
parent48bc731fe8eb7d4ecfad5e8f834754c3a91e4359 (diff)
Merge pull request #153 from Nadrieril/grcov
Use grcov for coverage
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions