From c4125669b57b81984bce1307cbc539a2829bf343 Mon Sep 17 00:00:00 2001
From: Philippe Dosch <Philippe.Dosch@loria.fr>
Date: Sat, 24 Mar 2018 21:27:50 +0100
Subject: [PATCH] =?UTF-8?q?Suppression=20d'un=20passage=20obsol=C3=A8te?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 config.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/config.tex b/config.tex
index ab1c77f..64984a5 100644
--- a/config.tex
+++ b/config.tex
@@ -37,10 +37,10 @@ Trois niveaux de configuration
   \item 
     Sorties en couleurs\\
     \ex{git config --global color.ui "auto"}
-  \item
-    Politique de synchronisation des branches lors de \ex{push} (pour
-    1.7.11 $\leqslant$ git $<$ 2.0)\\
-    \ex{git config --global push.default simple}
+  % \item
+  %   Politique de synchronisation des branches lors de \ex{push} (pour
+  %   1.7.11 $\leqslant$ git $<$ 2.0)\\
+  %   \ex{git config --global push.default simple}
   \end{itemize}
 }
 
-- 
GitLab