diff options
author | Nadrieril | 2020-01-29 21:26:42 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-29 21:26:42 +0000 |
commit | db6c09f33c3c794e4b6ec8a7aa80978d945a9d7a (patch) | |
tree | 8cf018122e61b035c3af4bdd84d62a159a089b22 /dhall/tests/type-errors | |
parent | e410dbb428e621fe600be43ddecca1c7bff7cb2f (diff) |
Remove dead code
Diffstat (limited to 'dhall/tests/type-errors')
0 files changed, 0 insertions, 0 deletions