From 75380a27fea4dc0660d78982337291d8e1752a05 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <git@djoce.net>
Date: Wed, 30 Sep 2020 16:22:48 +0200
Subject: [PATCH] Use https:// instead of http://

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

diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
index 42655ff6..3436a060 100644
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@@ -42,7 +42,7 @@
     </div> <!-- /container -->
     <script src="{{ site.url }}/js/vendor/jquery.min.js"></script>
     <script src="{{ site.url }}/js/vendor/bootstrap.min.js"></script>
-    <script src="http://platform.twitter.com/widgets.js"></script>
+    <script src="https://platform.twitter.com/widgets.js"></script>
     <script src="{{ site.url }}/js/vendor/run_prettify.js"></script>
     <script src="{{ site.url }}/js/vendor/lang-eiffel.js"></script>
   </body>