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