Add dunai-core

This commit is contained in:
Manuel Bärenz 2018-10-26 18:47:44 +02:00 committed by GitHub
parent 87e487087f
commit 1df41e9c21
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -57,6 +57,7 @@ packages:
- dunai
- rhine
- rhine-gloss
- dunai-core
"Paul Johnson <paul@cogito.org.uk> @PaulJohnson":
- geodetics