diff options
author | Nadrieril | 2021-01-22 19:13:13 +0000 |
---|---|---|
committer | Nadrieril | 2021-01-22 19:26:25 +0000 |
commit | e89ef8aa14f0779f241e9394a0b172982b4a145f (patch) | |
tree | ccee38f89d6679aa4df17bd9031fcc815503dd66 /dhall/tests/parser/success/naturalB.txt | |
parent | 9ac6740b21b87eca327b4e3acad5a6b647b3636c (diff) |
ci: disable code coverage, can't make it work
Diffstat (limited to 'dhall/tests/parser/success/naturalB.txt')
0 files changed, 0 insertions, 0 deletions