From 3736dcbebef6e9ac2451102681e37765e0acbc06 Mon Sep 17 00:00:00 2001
From: mohring
Date: Mon, 16 Jul 2001 11:59:18 +0000
Subject: Nettoyage

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

diff --git a/Makefile b/Makefile
index fdfc6ed43e..ea9978589b 100644
--- a/Makefile
+++ b/Makefile
@@ -840,4 +840,4 @@ clean::
 
 include .depend
 include .depend.coq
-   
+
-- 
cgit v1.2.3