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