diff --git a/.gitmodules b/.gitmodules index e04558d..00158b6 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,9 +1,6 @@ -[submodule "third-party/Criterion"] - path = third-party/Criterion - url = https://github.com/Snaipe/Criterion.git [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 diff --git a/third-party/Criterion b/third-party/Criterion deleted file mode 160000 index 514b4d8..0000000 --- a/third-party/Criterion +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 514b4d820e2f8fb4daa2b95b69c981853656cb73