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