diff options
Diffstat (limited to 'bin')
-rw-r--r-- | bin/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/.cvsignore b/bin/.cvsignore index 6684912e0..32c168302 100644 --- a/bin/.cvsignore +++ b/bin/.cvsignore @@ -16,3 +16,4 @@ coqide.byte coqide.opt coqtopnew.opt coqtopnew.byte +coqwc |