Cacher les .v8

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4522 85f007b7-540e-0410-9357-904b9bb8a0f7

9 files changed, 9 insertions, 0 deletions

diff --git a/contrib/cc/.cvsignore b/contrib/cc/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/contrib/cc/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/contrib/correctness/.cvsignore b/contrib/correctness/.cvsignore
index 7ff92e9658..9408ea1c8b 100644
--- a/contrib/correctness/.cvsignore
+++ b/contrib/correctness/.cvsignore
@@ -1 +1,2 @@
 psyntax.ppo
+*.v8
diff --git a/contrib/extraction/.cvsignore b/contrib/extraction/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/contrib/extraction/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/contrib/field/.cvsignore b/contrib/field/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/contrib/field/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/contrib/fourier/.cvsignore b/contrib/fourier/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/contrib/fourier/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/contrib/funind/.cvsignore b/contrib/funind/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/contrib/funind/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/contrib/omega/.cvsignore b/contrib/omega/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/contrib/omega/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/contrib/ring/.cvsignore b/contrib/ring/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/contrib/ring/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/contrib/romega/.cvsignore b/contrib/romega/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/contrib/romega/.cvsignore
@@ -0,0 +1 @@
+*.v8