Skip to content

Commit

Permalink
remove range v3 (#101)
Browse files Browse the repository at this point in the history
Summary:
As above

Pull Request resolved: #101

Reviewed By: Alston-Tang

Differential Revision: D42762460

Pulled By: briancoutinho

fbshipit-source-id: ec3d86527e1009614379f93bef403c613413482f
  • Loading branch information
briancoutinho authored and facebook-github-bot committed Jan 26, 2023
1 parent 87688dd commit 7d04a00
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 4 deletions.
3 changes: 0 additions & 3 deletions .gitmodules
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion third_party/range-v3
Submodule range-v3 deleted from a81477

0 comments on commit 7d04a00

Please sign in to comment.