diff options
author | Nadrieril | 2019-08-10 23:14:27 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-10 23:15:47 +0200 |
commit | 5e790ea6bafcf6c77165bdd580814783991acb7f (patch) | |
tree | 0c115fe7433ebe41f57825bf8a6705d53f1d33a7 /dhall/src/api/static_type.rs | |
parent | b41e0278eda19a495daf0586693f1b5981a89653 (diff) |
Tweak Codecov configuration
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions