From 2f65d89cf8498ec2b00aa30f90c43b1f258e5806 Mon Sep 17 00:00:00 2001 From: shutsch Date: Fri, 23 Feb 2024 16:54:53 +0100 Subject: [PATCH] debug CI 12 --- .gitmodules | 2 +- extern/{Eigen => Eigen3} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename extern/{Eigen => Eigen3} (100%) diff --git a/.gitmodules b/.gitmodules index 9ab3287..a76780f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -10,7 +10,7 @@ path = extern/Catch2 url = https://github.com/catchorg/Catch2.git [submodule "extern/Eigen"] - path = extern/Eigen + path = extern/Eigen3 url = https://gitlab.com/libeigen/eigen.git [submodule "extern/autodiff"] path = extern/autodiff diff --git a/extern/Eigen b/extern/Eigen3 similarity index 100% rename from extern/Eigen rename to extern/Eigen3