From 1e481044eba4dcb139b0f9a75e3344cf1f1acd7a Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Sun, 12 May 2024 18:37:40 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 support/rundk.userconf | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/support/rundk.userconf b/support/rundk.userconf
index 327a275..06658d7 100644
--- a/support/rundk.userconf
+++ b/support/rundk.userconf
@@ -17,8 +17,8 @@ BUILDENV=
 BUILD_IMAGES=(web db)
 
 ## En ce qui concerne DIST et IMAGENAME, les valeurs dans BUILDENV prennent le
-## dessus. Elles n'ont donc besoin d'être spécifiées que si BUILDENV *n'est pas*
-## utilisé.
+## dessus. si BUILDENV *n'est pas* utilisé, ces valeur peuvent être spécifiées
+## ici
 
 # version de debian à utiliser pour l'image
 # d12=php8.2, d11=php7.4, d10=php7.3