From 7d04a0053a845370ae06ce317a22a48e9edcc74e Mon Sep 17 00:00:00 2001 From: bcoutinho Date: Wed, 25 Jan 2023 18:04:11 -0800 Subject: [PATCH] remove range v3 (#101) Summary: As above Pull Request resolved: https://github.com/facebookincubator/dynolog/pull/101 Reviewed By: Alston-Tang Differential Revision: D42762460 Pulled By: briancoutinho fbshipit-source-id: ec3d86527e1009614379f93bef403c613413482f --- .gitmodules | 3 --- third_party/range-v3 | 1 - 2 files changed, 4 deletions(-) delete mode 160000 third_party/range-v3 diff --git a/.gitmodules b/.gitmodules index 06ee50ef..aa0a0836 100644 --- a/.gitmodules +++ b/.gitmodules @@ -16,9 +16,6 @@ [submodule "third_party/googletest"] path = third_party/googletest url = https://github.com/google/googletest.git -[submodule "third_party/range-v3"] - path = third_party/range-v3 - url = https://github.com/ericniebler/range-v3.git [submodule "third_party/cpr"] path = third_party/cpr url = https://github.com/libcpr/cpr.git diff --git a/third_party/range-v3 b/third_party/range-v3 deleted file mode 160000 index a8147793..00000000 --- a/third_party/range-v3 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit a81477931a8aa2ad025c6bda0609f38e09e4d7ec