Add submodule (liquidhaskell)

ucsd-progsys · Nov 22, 2017 · 9377dc5 · 9377dc5
1 parent 149c27d
commit 9377dc5
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "web"]
 	path = web
 	url = https://github.com/ucsd-progsys/liquid-client.git
+[submodule "liquidhaskell"]
+	path = liquidhaskell
+	url = https://github.com/ucsd-progsys/liquidhaskell.git
diff --git a/liquidhaskell b/liquidhaskell