Merge pull request #2236 from minad/patch-7

add colorful-monoids
This commit is contained in:
Michael Snoyman 2017-01-26 05:43:59 +02:00 committed by GitHub
commit f419d81eec

View File

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