diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-10-28 10:50:18 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-10-28 10:50:18 +0200 |
commit | 263d68ee774a739f582357b5bf4c228d9da21fe0 (patch) | |
tree | 7eb7c7dba3987bb75140cb448db65261d34b38a3 | |
parent | 9922feea537ced718a3822dd50eabc87da060338 (diff) | |
download | compcert-263d68ee774a739f582357b5bf4c228d9da21fe0.tar.gz compcert-263d68ee774a739f582357b5bf4c228d9da21fe0.zip |
Update http to https
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |