From db1658f0837918e27885c827cc29392068775fa6 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 10 Oct 2003 08:14:29 +0000
Subject: Cacher les .v8

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4558 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/failure/.cvsignore | 1 +
 test-suite/success/.cvsignore | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 test-suite/failure/.cvsignore
 create mode 100644 test-suite/success/.cvsignore

diff --git a/test-suite/failure/.cvsignore b/test-suite/failure/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/test-suite/failure/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/test-suite/success/.cvsignore b/test-suite/success/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/test-suite/success/.cvsignore
@@ -0,0 +1 @@
+*.v8
-- 
cgit v1.2.3