Merge pull request #4137 from turion/patch-9

Re-enable rhine and rhine-gloss
This commit is contained in:
Dan Burton 2019-06-05 11:52:54 -04:00 committed by GitHub
commit f4d3b3a20c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -110,8 +110,8 @@ packages:
"Manuel Bärenz <programming@manuelbaerenz.de> @turion":
- dunai
- rhine < 0
- rhine-gloss < 0
- rhine
- rhine-gloss
- dunai-core
- finite-typelits