diff options
author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-04-28 10:34:25 +0000 |
---|---|---|
committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-04-28 10:34:25 +0000 |
commit | 11aaf97fa5f773c8a81d12255414cd3f5d189d25 (patch) | |
tree | 58605ebb874d0e0676d4af2fd95a0e3321b2b868 /distrib | |
parent | 0625a1e62f070eb4d13235407eec0b818246b8b9 (diff) |
Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des 'properties' de Subversion
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8758 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib')
-rw-r--r-- | distrib/.cvsignore | 17 | ||||
-rw-r--r-- | distrib/MacOS-X/.cvsignore | 3 | ||||
-rw-r--r-- | distrib/RH/.cvsignore | 3 |
3 files changed, 0 insertions, 23 deletions
diff --git a/distrib/.cvsignore b/distrib/.cvsignore deleted file mode 100644 index 46e8aed30..000000000 --- a/distrib/.cvsignore +++ /dev/null @@ -1,17 +0,0 @@ -rpmbuildroot -i386 -tar-i386 -sun4 -alpha -apx -alpha -ppc -redhat -config.distrib -coq-* -contrib-* -patch-* -deb_build -coq_* -sun4u -*.rpm diff --git a/distrib/MacOS-X/.cvsignore b/distrib/MacOS-X/.cvsignore deleted file mode 100644 index 9234978d4..000000000 --- a/distrib/MacOS-X/.cvsignore +++ /dev/null @@ -1,3 +0,0 @@ -coq-* -buildroot -Resources diff --git a/distrib/RH/.cvsignore b/distrib/RH/.cvsignore deleted file mode 100644 index 7e1d30b7b..000000000 --- a/distrib/RH/.cvsignore +++ /dev/null @@ -1,3 +0,0 @@ -build src -rpmmacros rpmrc -coq-* |