diff options
Diffstat (limited to 'src/expr/.gitignore')
-rw-r--r-- | src/expr/.gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/expr/.gitignore b/src/expr/.gitignore index 4618e07b0..6489199dc 100644 --- a/src/expr/.gitignore +++ b/src/expr/.gitignore @@ -1,4 +1,2 @@ -/.deps -/Makefile.in /kind.h /metakind.h |