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 |