From 7bb856db3db840dd15a219d3268c7c6b6c3eff18 Mon Sep 17 00:00:00 2001
From: julien4215 <120588494+julien4215@users.noreply.github.com>
Date: Tue, 28 Jan 2025 13:17:11 +0100
Subject: [PATCH] Tweak note on using production server in setting_dev_env.md

---
 docs/setting_dev_env.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/setting_dev_env.md b/docs/setting_dev_env.md
index 47287ddf96..400611920e 100644
--- a/docs/setting_dev_env.md
+++ b/docs/setting_dev_env.md
@@ -168,7 +168,7 @@ flutter run \
 > Do not use any scheme (https:// or ws://) in url in host, since it's already handled by URI helper method
 
 > [!NOTE]
-> You can also use the production server but note that you will not be able to log in.
+> If you use the production server, note that you will not be able to log in.
 
 ### Android