diff options
Diffstat (limited to 'src/expr/.gitignore')
| -rw-r--r-- | src/expr/.gitignore | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/expr/.gitignore b/src/expr/.gitignore deleted file mode 100644 index 238db3ad3..000000000 --- a/src/expr/.gitignore +++ /dev/null @@ -1,6 +0,0 @@ -/kind.h -/metakind.h -/expr.cpp -/expr.h -/expr_manager.cpp -/expr_manager.h |