diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/.gitignore b/src/.gitignore index 11738ff..fb21d00 100644 --- a/src/.gitignore +++ b/src/.gitignore | |||
@@ -14,7 +14,6 @@ bind-gram.c | |||
14 | bind-gram.h | 14 | bind-gram.h |
15 | bind-gram.output | 15 | bind-gram.output |
16 | bind-lex.c | 16 | bind-lex.c |
17 | grecs.h | ||
18 | Make-inst.in | 17 | Make-inst.in |
19 | Make-shared.in | 18 | Make-shared.in |
20 | Make-static.in | 19 | Make-static.in |