From c4153bfd231a4a5e1c88c1aa1ac6b6ac3a28f690 Mon Sep 17 00:00:00 2001
From: Ismael Bouya <bouya@clipper.ens.fr>
Date: Mon, 21 Jun 2010 17:55:30 +0200
Subject: [PATCH] =?UTF-8?q?R=C3=A9=C3=A9dition=20du=20fichier=20doc-intern?=
 =?UTF-8?q?e=20en=20enlevant=20la=20partie=20quimarchepas?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 doc-interne.tml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc-interne.tml b/doc-interne.tml
index e3a968e..cc9f51a 100644
--- a/doc-interne.tml
+++ b/doc-interne.tml
@@ -49,7 +49,7 @@
   d'une machine de l'école)
 </p>
 <pre><span class="prompt">$</span> git clone tuteurs@clipper:www.git </pre>
-<p class="continue">
+<!--<p class="continue">
   Cependant, depuis les machines de l'école, on peut aussi faire
   directement
 </p>
@@ -58,7 +58,7 @@
   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