From 57bf621efd5206376cd62eda5272b3a0901df9c7 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Mon, 23 Mar 2015 07:36:28 +0400
Subject: [PATCH] cosmetic

---
 todo/prel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/todo/prel b/todo/prel
index ea1bfbc..6636b7b 100755
--- a/todo/prel
+++ b/todo/prel
@@ -325,7 +325,7 @@ dans la branche de destination ${COULEUR_BLEUE}master${COULEUR_NORMALE}"
                 eimportant "\
 La branche $release n'a plus lieu d'être, mais la configuration actuelle interdit de la supprimer dans le dépôt distant.
 Veuillez le faire manuellement avec la commande suivante:
-    $(quoted_args git push "$origin" ":$release")"
+    $(qvals git push "$origin" ":$release")"
             fi
         fi
     fi