re-adding antlr

hs-apotell · Sep 9, 2021 · 9093c39 · 9093c39
1 parent 2122779
commit 9093c39
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -7,3 +7,6 @@
 [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