From b1c129da62346f4fdf2d893fb8ca3fc042800b19 Mon Sep 17 00:00:00 2001
From: Marc Mezzarobba <marc@mezzarobba.net>
Date: Mon, 21 Jun 2010 18:16:35 +0200
Subject: [PATCH] =?UTF-8?q?doc-interne:=20comment=C3=A9=20encore=20un=20pe?=
 =?UTF-8?q?u=20plus?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 doc-interne.tml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc-interne.tml b/doc-interne.tml
index cc9f51a..c278475 100644
--- a/doc-interne.tml
+++ b/doc-interne.tml
@@ -58,13 +58,14 @@
   sans clé ssh — du moins, il y a une magouille dans le Makefile qui
   essaie de faire en sorte que ça marche (mais elle ne marche pas, 
   méthode à éviter pour le moment donc).
-</p>-->
+</p>
    
 <p>
   On peut aussi (ce n'est guère utile qu'aux gens qui n'ont plus de
   compte clipper) cloner le dépôt git sur le compte <code>tuteurs</code>
   lui-même, par exemple dans <code>tmp/moi</code>.
 </p>
+-->
 
 <div class="attention">
   <p>