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 /README.md | |
| parent | 9922feea537ced718a3822dd50eabc87da060338 (diff) | |
| download | compcert-kvx-263d68ee774a739f582357b5bf4c228d9da21fe0.tar.gz compcert-kvx-263d68ee774a739f582357b5bf4c228d9da21fe0.zip | |
Update http to https
Diffstat (limited to 'README.md')
| -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 |