Merge pull request #4166 from Gabriel439/patch-18

Drop support for `morte`
This commit is contained in:
Adam Bergmark 2018-11-22 09:21:50 +01:00 committed by GitHub
commit 180f66524c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -883,7 +883,6 @@ packages:
- pipes-safe
- turtle
- foldl
- morte < 0
- bench
- dhall
- dhall-bash