Merge pull request #2474 from minad/patch-9

add ihs
This commit is contained in:
Jens Petersen 2017-04-29 21:10:00 +09:00 committed by GitHub
commit ea84903f39

View File

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