diff --git a/.gitignore b/.gitignore index 5659307..bf9e06c 100644 --- a/.gitignore +++ b/.gitignore @@ -23,7 +23,7 @@ coverage.txt coverage.html # antlr tool jar -antlr-*.jar +antlr*.jar # tempfiles .cache