Remove useless and outdated files

Signed-off-by: Ivan Kochurkin <[email protected]>
antlr · Jun 21, 2022 · 35edbbd · 35edbbd
1 parent 8e267d4
commit 35edbbd
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 79 deletions.
diff --git a/.gitmodules b/.gitmodules
diff --git a/tool/MIGRATION.txt b/tool/MIGRATION.txt
diff --git a/tool/playground/Main.java b/tool/playground/Main.java
diff --git a/tool/playground/T.g4 b/tool/playground/T.g4