remove interaction trees submodule

vellvm · Apr 5, 2019 · e235d2c · e235d2c
1 parent 6613715
commit e235d2c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,3 @@
 [submodule "lib/coq2html"]
 	path = lib/coq2html
 	url = https://github.com/xavierleroy/coq2html.git
-[submodule "lib/InteractionTrees"]
-	path = lib/InteractionTrees
-	url = https://github.com/DeepSpec/InteractionTrees.git
diff --git a/lib/InteractionTrees b/lib/InteractionTrees