diff options
author | Nadrieril | 2020-03-17 23:47:35 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-17 23:47:58 +0000 |
commit | 4b29fa3a9e329814c98df3463841eeb288f1630c (patch) | |
tree | 4c933c9228e74e9b12351ea797c38d161eb6fe80 /dhall/tests/import/failure | |
parent | 71fddc59b5b427f52dd2f0cd76f788eb995a4e2e (diff) |
Remove never_type feature
Diffstat (limited to 'dhall/tests/import/failure')
0 files changed, 0 insertions, 0 deletions