FIX: added back eigen deps

9and3 · 9and3 · commit 98da1b52c08b · 2024-08-16T19:31:57.000+02:00
diff --git a/.gitmodules b/.gitmodules
@@ -17,3 +17,6 @@
 [submodule "deps/submodule-cilantro"]
 	path = deps/submodule-cilantro
 	url = https://github.com/diffCheckOrg/submodule-cilantro.git
+[submodule "deps/eigen"]
+	path = deps/eigen
+	url = https://gitlab.com/libeigen/eigen.git
diff --git a/deps/eigen b/deps/eigen
@@ -0,0 +1 @@
+Subproject commit 92e373e6f553dd842337c8467f4ddb669e0e9199
