Cacher les .v8

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

23 files changed, 23 insertions, 0 deletions

diff --git a/contrib/cc/.cvsignore b/contrib/cc/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/contrib/cc/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/contrib/correctness/.cvsignore b/contrib/correctness/.cvsignore
index 7ff92e965..9408ea1c8 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 000000000..c446fcb87
--- /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 000000000..c446fcb87
--- /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 000000000..c446fcb87
--- /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 000000000..c446fcb87
--- /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 000000000..c446fcb87
--- /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 000000000..c446fcb87
--- /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 000000000..c446fcb87
--- /dev/null
+++ b/contrib/romega/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/Arith/.cvsignore b/theories/Arith/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/Arith/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/Bool/.cvsignore b/theories/Bool/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/Bool/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/Init/.cvsignore b/theories/Init/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/Init/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/IntMap/.cvsignore b/theories/IntMap/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/IntMap/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/Lists/.cvsignore b/theories/Lists/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/Lists/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/Logic/.cvsignore b/theories/Logic/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/Logic/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/Num/.cvsignore b/theories/Num/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/Num/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/Reals/.cvsignore b/theories/Reals/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/Reals/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/Relations/.cvsignore b/theories/Relations/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/Relations/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/Setoids/.cvsignore b/theories/Setoids/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/Setoids/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/Sets/.cvsignore b/theories/Sets/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/Sets/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/Sorting/.cvsignore b/theories/Sorting/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/Sorting/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/Wellfounded/.cvsignore b/theories/Wellfounded/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/Wellfounded/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories/ZArith/.cvsignore b/theories/ZArith/.cvsignore
new file mode 100644
index 000000000..c446fcb87
--- /dev/null
+++ b/theories/ZArith/.cvsignore
@@ -0,0 +1 @@
+*.v8