diff options
| -rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index 37136c90de..da502fa50c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -19,7 +19,7 @@ url = https://github.com/NVlabs/cub.git [submodule "third_party/eigen"] path = third_party/eigen - url = https://github.com/RLovelett/eigen.git + url = https://github.com/eigenteam/eigen-git-mirror.git [submodule "third_party/googletest"] path = third_party/googletest url = https://github.com/google/googletest.git |