add tasty-stats

This commit is contained in:
Daniel Mendler 2017-02-12 05:49:05 +01:00 committed by Luke Murphy
parent 8a6cd3549b
commit b7272d238b

View File

@ -2616,6 +2616,7 @@ packages:
- unlit - unlit
- intro - intro
- tasty-auto - tasty-auto
- tasty-stats
- colorful-monoids - colorful-monoids
"Taras Serduke <taras.serduke@gmail.com> @tserduke": "Taras Serduke <taras.serduke@gmail.com> @tserduke":