From f93fc9865592e9807bf9d743ae4fc039f91783b2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 26 Feb 2015 16:48:14 +0100 Subject: [PATCH] More files to ignore --- bench/stutter/.gitignore | 7 +++++++ doc/org/.gitignore | 2 ++ 2 files changed, 9 insertions(+) create mode 100644 bench/stutter/.gitignore diff --git a/bench/stutter/.gitignore b/bench/stutter/.gitignore new file mode 100644 index 000000000..46710e77e --- /dev/null +++ b/bench/stutter/.gitignore @@ -0,0 +1,7 @@ +*.ltl +*.csv +run.mk +formulas +stutter_invariance_formulas +stutter_invariance_randomgraph + diff --git a/doc/org/.gitignore b/doc/org/.gitignore index 58789332e..d3877e60e 100644 --- a/doc/org/.gitignore +++ b/doc/org/.gitignore @@ -12,3 +12,5 @@ bogus bogus-grind example.hoa sample.ltl +*.ltl +*.hoa