From 012b04ce2a5c55fbf15e64463dfa00814827dc7d Mon Sep 17 00:00:00 2001
From: Andre Brait <andrebrait@gmail.com>
Date: Sun, 3 Jun 2018 19:08:49 -0300
Subject: [PATCH] Fixing fetching with HTTP rather than HTTPS

---
 docs/tutorial/tuti.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/tutorial/tuti.html b/docs/tutorial/tuti.html
index e6ac280..b31cc9a 100644
--- a/docs/tutorial/tuti.html
+++ b/docs/tutorial/tuti.html
@@ -3431,7 +3431,7 @@ ConstantDistribution
             src="../pics/GitHub_Logo.png"
             height="25" border="0" alt="GitHub.com Logo"></a>
     <a href="https://sourceforge.net/projects/sinalgo/"><img
-            src="http://sflogo.sourceforge.net/sflogo.php?group_id=192227&amp;type=1" width="88" height="31" border="0"
+            src="https://sflogo.sourceforge.net/sflogo.php?group_id=192227&amp;type=1" width="88" height="31" border="0"
             alt="SourceForge.net Logo"></a>
     <a href="https://jigsaw.w3.org/css-validator/check/referer"> <img
             style="border:0;width:44px;height:16px"
-- 
GitLab