From e713cb3b67470fcfc845dcba399dddbab1fb582c Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 7 Dec 2010 18:34:32 +0100 Subject: [PATCH] more files to ignore --- bench/ltlclasses/.gitignore | 1 + src/neverparse/.gitignore | 7 +++++++ 2 files changed, 8 insertions(+) create mode 100644 src/neverparse/.gitignore diff --git a/bench/ltlclasses/.gitignore b/bench/ltlclasses/.gitignore index 5223f5778..28347c731 100644 --- a/bench/ltlclasses/.gitignore +++ b/bench/ltlclasses/.gitignore @@ -1,3 +1,4 @@ defs out result*.fm +*.eps diff --git a/src/neverparse/.gitignore b/src/neverparse/.gitignore new file mode 100644 index 000000000..8b61948f3 --- /dev/null +++ b/src/neverparse/.gitignore @@ -0,0 +1,7 @@ +position.hh +neverclaimparse.cc +neverclaimparse.output +neverclaimparse.hh +neverclaimscan.cc +stack.hh +location.hh