Manuel Bärenz: Only maintain dunai for now

This commit is contained in:
Manuel Bärenz 2018-05-09 17:25:38 +02:00 committed by GitHub
parent 6783f1a6f4
commit 13d23e7c88
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,8 +9,6 @@ cabal-format-version: "2.0"
packages:
"Manuel Bärenz <programming@manuelbaerenz.de> @turion":
- dunai
- rhine
- rhine-gloss
"Paul Johnson <paul@cogito.org.uk> @PaulJohnson":
- geodetics