From 9dd608e78fb7d392ea88b47f396f5077021337d5 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 5 Sep 2003 12:40:42 +0000
Subject: coqwc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4302 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 bin/.cvsignore | 1 +
 1 file changed, 1 insertion(+)

(limited to 'bin')

diff --git a/bin/.cvsignore b/bin/.cvsignore
index 6684912e0e..32c1683029 100644
--- a/bin/.cvsignore
+++ b/bin/.cvsignore
@@ -16,3 +16,4 @@ coqide.byte
 coqide.opt
 coqtopnew.opt
 coqtopnew.byte
+coqwc
-- 
cgit v1.2.3