From: Fabio Scotoni <34964387+fscoto@users.noreply.github.com>
Date: Thu, 4 Apr 2019 13:11:55 +0000 (+0200)
Subject: README: nitpick: make links HTTPS where possible
X-Git-Url: https://git.codecow.com/?a=commitdiff_plain;h=2cfc4a309736ed1755b9a74e50abb0af60ea403c;p=Monocypher.git

README: nitpick: make links HTTPS where possible
---

diff --git a/README.md b/README.md
index 8beef7f..6bd2a33 100644
--- a/README.md
+++ b/README.md
@@ -107,8 +107,8 @@ settings.  To run the code under the TIS interpreter, run
 (Note: `tis-interpreter.sh` is part of TIS.  If it is not in your
 path, adjust the command accordingly.)
 
-[Frama-c]:http://frama-c.com/
-[TIS]: http://trust-in-soft.com/tis-interpreter/
+[Frama-c]:https://frama-c.com/
+[TIS]: https://trust-in-soft.com/tis-interpreter/
 
 
 Speed benchmark