From 006f22ffeb50240d9cfcfd2f382ba8384e485af2 Mon Sep 17 00:00:00 2001
From: Comptes tuteurs <tuteurs@clipper.ens.fr>
Date: Mon, 21 Jun 2010 18:29:42 +0200
Subject: [PATCH] doc-interne: push comme tuteurs ok
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Depuis le compte tuteurs, le push local marche. Le souci dans les autres cas
doit donc être une problème de droits...
---
 doc-interne.tml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc-interne.tml b/doc-interne.tml
index fab9bd2..5d32aee 100644
--- a/doc-interne.tml
+++ b/doc-interne.tml
@@ -65,13 +65,13 @@
   essaie de faire en sorte que ça marche (mais elle ne marche pas, 
   méthode à éviter pour le moment donc).
 </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>