From fd106c270ac00994275898a77e48c311b554636a Mon Sep 17 00:00:00 2001
From: filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 3 Nov 2000 10:21:00 +0000
Subject: compilation des fichiers ml4 sans GNUseries

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

(limited to 'scripts/.cvsignore')

diff --git a/scripts/.cvsignore b/scripts/.cvsignore
index ee865a568..b95eb1ba9 100644
--- a/scripts/.cvsignore
+++ b/scripts/.cvsignore
@@ -1,4 +1,3 @@
 coqmktop
 tolink.ml
 coqc
-coqc.ml
-- 
cgit v1.2.3