diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/expr/.gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/expr/.gitignore b/src/expr/.gitignore index 6489199dc..238db3ad3 100644 --- a/src/expr/.gitignore +++ b/src/expr/.gitignore @@ -1,2 +1,6 @@ /kind.h /metakind.h +/expr.cpp +/expr.h +/expr_manager.cpp +/expr_manager.h |