remove unncessary copied files from git tracking

kuzudb · Jun 20, 2024 · 5d05575 · 5d05575
1 parent 1544d8e
commit 5d05575
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 927 deletions.
diff --git a/.gitignore b/.gitignore
@@ -26,8 +26,10 @@ test/unittest_temp_*
 dataset/parquet_temp_*
 tools/python_api/test/test_PYTHON_CSV.csv
 
-# antlr4 jar
+# antlr4 jar and copied files
 scripts/antlr4/antlr4.jar
+scripts/antlr4/Cypher.g4.copy
+scripts/antlr4/keywords.txt.copy
 # .antlr
 src/antlr4/.antlr/