From f372e35283053fa94dc783490c33151cffb2864b Mon Sep 17 00:00:00 2001 From: monate Date: Mon, 2 Jun 2003 17:32:33 +0000 Subject: au lieu de make git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4095 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/coqide.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ide') diff --git a/ide/coqide.ml b/ide/coqide.ml index dd975db275..5745878019 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -1,4 +1,4 @@ -(***********************************************************************) + (***********************************************************************) (* v * The Coq Proof Assistant / The Coq Development Team *) (*