diff options
author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-10-23 14:40:38 +1100 |
---|---|---|
committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-10-23 14:40:38 +1100 |
commit | a1b28d756fe52a53d9d4da4d23853969fd529115 (patch) | |
tree | e599c1d3820ab9613af6ab129843f4a2132e5dbc /.gitignore | |
parent | 697c1c0cd3815eee72b3eedb874fe0e044a69432 (diff) |
Make the recursive solver work properly.
If you ignore the intermediate results for the strategy iteration phase
then you're in the clear! I think!
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -1,2 +1,14 @@ /impl/build/* /impl/parser/* +*.log +*.dvi +*.ps +*.aux +*.blg +*.bbl +*.toc +*.lof +*.lot +*.out +*~ +gmon.out |