From 263d68ee774a739f582357b5bf4c228d9da21fe0 Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Fri, 28 Oct 2016 10:50:18 +0200 Subject: Update http to https --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 60855bfd..54b2012b 100644 --- a/README.md +++ b/README.md @@ -21,7 +21,7 @@ CompCert is not free software. This non-commercial release can only be used for evaluation, research, educational and personal purposes. A commercial version of CompCert, without this restriction and with professional support, can be purchased from -[AbsInt](http://www.absint.com). See the file `LICENSE` for more +[AbsInt](https://www.absint.com). See the file `LICENSE` for more information. ## Copyright -- cgit