diff --git a/.gitmodules b/.gitmodules index 4937171..f6165c2 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,12 +1,9 @@ [submodule "third-party/pybind11"] path = third-party/pybind11 url = https://github.com/pybind/pybind11.git [submodule "third-party/googletest"] path = third-party/googletest url = https://github.com/google/googletest.git -[submodule "third-party/expolit"] - path = third-party/expolit - url = https://c4science.ch/source/expolit.git [submodule "tests/ci/scripts"] path = tests/ci/scripts url = https://c4science.ch/diffusion/HBMJCI/hbm-jenkins-ci.git diff --git a/third-party/expolit b/third-party/expolit deleted file mode 160000 index 5f68da4..0000000 --- a/third-party/expolit +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 5f68da4ee972156d8676cd645e25fab984ecc75a