Drop tasty-auto which is deprecated in favor of tasty-discover

This commit is contained in:
Daniel Mendler 2018-05-11 09:51:09 +02:00 committed by GitHub
parent 685db33605
commit 5a5f86a3e4
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