diff options
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 46e8aed30b..0000000000 --- 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 9234978d40..0000000000 --- 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 7e1d30b7b3..0000000000 --- a/distrib/RH/.cvsignore +++ /dev/null @@ -1,3 +0,0 @@ -build src -rpmmacros rpmrc -coq-* |