diff options
Diffstat (limited to '.cvsignore')
| -rw-r--r-- | .cvsignore | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/.cvsignore b/.cvsignore deleted file mode 100644 index d967058e17..0000000000 --- a/.cvsignore +++ /dev/null @@ -1,10 +0,0 @@ -coqtop.byte -coqtop -minicoq -coqtop.opt -glob.dump -tmp -.depend.devel -newtheories -newcontrib -*.v8 |