portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

trivial: fix link

Browse source 
The link will probably go back to .html when the website is finished,
but this commit will avoid annoying test failures in the meantime.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2021-08-08 18:09:02 +10:00 committed by Gerwin Klein
parent 302339fd8a
commit 5688e6e9f6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -65,7 +65,7 @@ Community
See the [contact] links on the seL4 website for the full list.
[contact]: https://sel4.systems/contact.html
[contact]: https://sel4.systems/contact
Reporting security vulnerabilities
----------------------------------