diff options
Diffstat (limited to 'distrib/RH/.cvsignore')
| -rw-r--r-- | distrib/RH/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/distrib/RH/.cvsignore b/distrib/RH/.cvsignore index bfec41c5e6..18eeb68449 100644 --- a/distrib/RH/.cvsignore +++ b/distrib/RH/.cvsignore @@ -1,2 +1,3 @@ build coq.list +coq-7.0 |