Update Eigen project git repo

The other git repository is marked as deprecated
wjakob · Dec 12, 2019 · dbd0431 · dbd0431
1 parent e9ec8a1
commit dbd0431
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitmodules b/.gitmodules
@@ -6,7 +6,7 @@
     url = https://github.com/wjakob/glfw
 [submodule "ext/eigen"]
     path = ext/eigen
-    url = https://github.com/eigenteam/eigen-git-mirror.git
+    url = https://gitlab.com/libeigen/eigen.git
     shallow = true
 [submodule "ext/pybind"]
     path = ext/pybind11