diff options
Diffstat (limited to 'src/.gitignore')
-rw-r--r-- | src/.gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/.gitignore b/src/.gitignore index 9ef1b57..feb5040 100644 --- a/src/.gitignore +++ b/src/.gitignore @@ -2,6 +2,10 @@ grecs-gram.c grecs-gram.h grecs-gram.output grecs-lex.c +meta1-gram.c +meta1-gram.h +meta1-gram.output +meta1-lex.c Make-inst.in Make-shared.in Make-static.in |