diffCheckOrg
diff --git a/‎.gitmodules‎
Lines changed: 0 additions & 3 deletions b/‎.gitmodules‎
Lines changed: 0 additions & 3 deletions
diff --git a/‎deps/eigen‎
Lines changed: 0 additions & 1 deletion b/‎deps/eigen‎
Lines changed: 0 additions & 1 deletion
@@ -17,6 +17,3 @@
 [submodule "deps/submodule-cilantro"]
 	path = deps/submodule-cilantro
 	url = https://github.com/diffCheckOrg/submodule-cilantro.git
-[submodule "deps/eigen"]
-	path = deps/eigen
-	url = https://gitlab.com/libeigen/eigen.git