From 41636b746902bffab8e1270e69af07490d498aee Mon Sep 17 00:00:00 2001
From: JS <39553085+jsiglen@users.noreply.github.com>
Date: Tue, 15 Jan 2019 16:43:42 +0100
Subject: [PATCH] hint on doc

---
 docs/guide-proxy-configuration.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/guide-proxy-configuration.md b/docs/guide-proxy-configuration.md
index 37155fd16..072b8c238 100644
--- a/docs/guide-proxy-configuration.md
+++ b/docs/guide-proxy-configuration.md
@@ -7,4 +7,6 @@ order: 20
 Online projects only
 
 If your server is behind a proxy, it can be configured under Advanced -> Settings,
-![](img/proxy.png)
\ No newline at end of file
+![](img/proxy.png)
+
+**Hint:** the URL must **not contain https://** -> just enter name or IP