Merge pull request #3616 from minad/patch-11

Drop tasty-auto which is deprecated in favor of tasty-discover
This commit is contained in:
Dan Burton 2018-05-11 12:00:32 -07:00 committed by GitHub
commit d4355239ba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2755,7 +2755,6 @@ packages:
- console-style
- unlit
- intro
- tasty-auto
- tasty-stats
- colorful-monoids
- ihs