switch eigen to third-party module

mp3guy · May 1, 2019 · 89c9492 · 89c9492
1 parent 2e29517
commit 89c9492
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "third-party/OpenNI2"]
 	path = third-party/OpenNI2
 	url = https://github.com/occipital/OpenNI2.git
+[submodule "third-party/Eigen"]
+	path = third-party/Eigen
+	url = https://github.com/eigenteam/eigen-git-mirror.git
diff --git a/third-party/Eigen b/third-party/Eigen