More files to ignore

f93fc986 · Alexandre Duret-Lutz · 7bac775a · f93fc986 · f93fc986
Commit f93fc986 authored Feb 26, 2015 by Alexandre Duret-Lutz
--- a/bench/stutter/.gitignore
+++ b/bench/stutter/.gitignore
+*.ltl
+*.csv
+run.mk
+formulas
+stutter_invariance_formulas
+stutter_invariance_randomgraph
+
--- a/doc/org/.gitignore
+++ b/doc/org/.gitignore
@@ -12,3 +12,5 @@ bogus
 bogus-grind
 example.hoa
 sample.ltl
+*.ltl
+*.hoa