From eed24d216345f45b1e731ead5e548b308a0070dd Mon Sep 17 00:00:00 2001
From: Karl-Wilfried Zimmer <zimmerk4@students.uni-marburg.de>
Date: Sun, 31 Dec 2023 14:39:56 +0100
Subject: [PATCH] removed eigen due to wrong path

---
 .gitmodules | 3 ---
 lib         | 1 -
 2 files changed, 4 deletions(-)
 delete mode 160000 lib

diff --git a/.gitmodules b/.gitmodules
index 774972e..e69de29 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "lib"]
-	path = lib
-	url = https://gitlab.com/libeigen/eigen.git
diff --git a/lib b/lib
deleted file mode 160000
index fee5d60..0000000
--- a/lib
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit fee5d60b502d3fbaa6ceb56557d3e3fdce0240ef