diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 00000000..043df4ce --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "thirdparty/unlocbox"] + path = thirdparty/unlocbox + url = https://github.com/epfl-lts2/unlocbox.git diff --git a/thirdparty/unlocbox b/thirdparty/unlocbox new file mode 160000 index 00000000..df22b021 --- /dev/null +++ b/thirdparty/unlocbox @@ -0,0 +1 @@ +Subproject commit df22b021536c0f4e0411cd07c23fa916bd9dbb6d