summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore6
1 files changed, 3 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore
index e373695..9f28a67 100644
--- a/.gitignore
+++ b/.gitignore
@@ -40,9 +40,9 @@ Makefile.in
# Files created by `make'
/dimension/dimension
-/dimension/bison.c
-/dimension/bison.h
-/dimension/flex.c
+/dimension/grammar.c
+/dimension/grammar.h
+/dimension/lexer.c
# Files created by `make check'
/tests/*/*-test