diff --git a/.gitmodules b/.gitmodules index ff4affd519c3cc791c3cfb8922c575b2dc4aeecd..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "external/range-v3"] - path = external/range-v3 - url = https://github.com/ericniebler/range-v3.git diff --git a/external/CMakeLists.txt b/external/CMakeLists.txt deleted file mode 100644 index c7c484845661b8d61259f71230391460c1b7e480..0000000000000000000000000000000000000000 --- a/external/CMakeLists.txt +++ /dev/null @@ -1 +0,0 @@ -add_subdirectory(range-v3) diff --git a/external/range-v3 b/external/range-v3 deleted file mode 160000 index 0487cca29e352e8f16bbd91fda38e76e39a0ed28..0000000000000000000000000000000000000000 --- a/external/range-v3 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 0487cca29e352e8f16bbd91fda38e76e39a0ed28