use git-sumobule to manage Smtlib directory

msakai · May 15, 2016 · 576d823 · 576d823
1 parent 21eb1d2
commit 576d823
Show file tree

Hide file tree

Showing 7 changed files with 4 additions and 2,018 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "Smtlib"]
+	path = Smtlib
+	url = https://github.com/msakai/Smtlib
diff --git a/Smtlib b/Smtlib