summaryrefslogtreecommitdiff
path: root/dhall/src/core
diff options
context:
space:
mode:
authorNadrieril2019-08-10 23:14:27 +0200
committerNadrieril2019-08-10 23:15:47 +0200
commit5e790ea6bafcf6c77165bdd580814783991acb7f (patch)
tree0c115fe7433ebe41f57825bf8a6705d53f1d33a7 /dhall/src/core
parentb41e0278eda19a495daf0586693f1b5981a89653 (diff)
Tweak Codecov configuration
Diffstat (limited to 'dhall/src/core')
0 files changed, 0 insertions, 0 deletions