antlr git issue

hs-apotell · Sep 9, 2021 · 7d8a654 · 7d8a654
1 parent 0f789c5
commit 7d8a654
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -7,6 +7,3 @@
 [submodule "third_party/googletest"]
  path = third_party/googletest
  url = https:/google/googletest.git
-[submodule "third_party/antlr4"]
- path = third_party/antlr4
- url = https:/alainmarcel/antlr4.git
diff --git a/third_party/antlr4 b/third_party/antlr4