From b83349d416ff80082fa4c96160094cdab103e235 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 7 Aug 2008 15:41:24 +0200 Subject: [PATCH] more files to ignore --- bench/gspn-ssp/.gitignore | 2 ++ iface/gspn/.gitignore | 7 +++++++ iface/nips/nipstest/.gitignore | 1 + src/tgbatest/.gitignore | 1 + 4 files changed, 11 insertions(+) create mode 100644 bench/gspn-ssp/.gitignore create mode 100644 iface/nips/nipstest/.gitignore diff --git a/bench/gspn-ssp/.gitignore b/bench/gspn-ssp/.gitignore new file mode 100644 index 000000000..ea5ed8554 --- /dev/null +++ b/bench/gspn-ssp/.gitignore @@ -0,0 +1,2 @@ +models +defs diff --git a/iface/gspn/.gitignore b/iface/gspn/.gitignore index 9b1222407..02de6c55d 100644 --- a/iface/gspn/.gitignore +++ b/iface/gspn/.gitignore @@ -6,3 +6,10 @@ Makefile .deps .libs defs +dottygspn-rg +dottygspn-srg +dottygspn-ssp +ltlgspn-rg +ltlgspn-srg +ltlgspn-ssp +testSubDir diff --git a/iface/nips/nipstest/.gitignore b/iface/nips/nipstest/.gitignore new file mode 100644 index 000000000..ef6565fb4 --- /dev/null +++ b/iface/nips/nipstest/.gitignore @@ -0,0 +1 @@ +defs diff --git a/src/tgbatest/.gitignore b/src/tgbatest/.gitignore index b13878674..edbaab9b8 100644 --- a/src/tgbatest/.gitignore +++ b/src/tgbatest/.gitignore @@ -25,3 +25,4 @@ blue_counter input output1 output2 +eltl2tgba