From b1d2b351fb3215231fb2b43e3315d15286cd3e67 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 16 Jun 2003 15:23:22 +0000
Subject: [PATCH] more files to ignore

---
 src/tgbatest/.cvsignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/tgbatest/.cvsignore b/src/tgbatest/.cvsignore
index 33733f242..c0c095c1a 100644
--- a/src/tgbatest/.cvsignore
+++ b/src/tgbatest/.cvsignore
@@ -9,3 +9,6 @@ readsave
 ltl2tgba
 ltlprod
 bddprod
+explprod
+*.ps
+*.dot