eigen update

neka-nat · Oct 17, 2021 · ded96cb · ded96cb
1 parent 3f57153
commit ded96cb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "eigen"]
     path = third_party/eigen
-    url = https://github.com/eigenteam/eigen-git-mirror.git
+    url = https://gitlab.com/libeigen/eigen.git
diff --git a/third_party/eigen b/third_party/eigen