diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-01 19:55:40 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-01 19:55:40 +0000 |
commit | bc05271730c9bbd096a6dbace366016529933246 (patch) | |
tree | 13a5df83db0f9072dd51119521483f9cb97a1723 /src/expr/.gitignore | |
parent | b3b663998bbfb5ede569498345a3fedc02a9726f (diff) |
Adding newly generated files
Diffstat (limited to 'src/expr/.gitignore')
-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 |