Add Git submodules: curry-base / curry-frontend.

bb871af9 · Mike Gabriel · 41807992 · bb871af9 · c9acf7c2 · 0a3e19a0
Commit bb871af9 authored Oct 12, 2016 by Mike Gabriel
--- a/.gitmodules
+++ b/.gitmodules
+[submodule "curry-base"]
+	path = curry-base
+	url = https://git.ps.informatik.uni-kiel.de/curry/curry-base.git
+[submodule "curry-frontend"]
+	path = curry-frontend
+	url = https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git
--- a/curry-base @ c9acf7c2
+++ b/curry-base @ c9acf7c2
+Subproject commit c9acf7c2abb13785624ae09c6ea5da89374a4a0b
--- a/curry-frontend @ 0a3e19a0
+++ b/curry-frontend @ 0a3e19a0
+Subproject commit 0a3e19a0e8bd37df4f0d06bba7daa29e7c23bf52