From be3d809948aac00df3c6b93e2a90d0dc0df4bcf6 Mon Sep 17 00:00:00 2001
From: delahaye
Date: Fri, 20 Apr 2001 08:25:35 +0000
Subject: Ajout de la ligne d'etat pour CVS

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1643 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/success/Tauto.v | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/test-suite/success/Tauto.v b/test-suite/success/Tauto.v
index af840d4a61..3b5e90fad3 100644
--- a/test-suite/success/Tauto.v
+++ b/test-suite/success/Tauto.v
@@ -5,6 +5,9 @@
 (*    //   *      This file is distributed under the terms of the      *)
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
+
+(* $Id$ *)
+
 (**** Tactics Tauto and Intuition ****)
 
 (**** Tauto:
-- 
cgit v1.2.3