diff options
Diffstat (limited to 'distrib/RH/.cvsignore')
| -rw-r--r-- | distrib/RH/.cvsignore | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/distrib/RH/.cvsignore b/distrib/RH/.cvsignore index 18eeb68449..d7a4769a28 100644 --- a/distrib/RH/.cvsignore +++ b/distrib/RH/.cvsignore @@ -1,3 +1,5 @@ -build -coq.list -coq-7.0 +build src +coq.list pcoq.list coqide.list +pcoq.spec +rpmmacros rpmrc +coq-* |