Skip to content
Snippets Groups Projects
Commit 8c9a01e1 authored by Virgile Prevosto's avatar Virgile Prevosto Committed by Basile Desloges
Browse files

[doc] Set frama-c link to https

parent b0140537
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
doc/code/toc_tail.htm
+ 1
− 1
View file @ 8c9a01e1
...@@ -22,7 +22,7 @@ ...@@ -22,7 +22,7 @@
</ul> </ul>
<div class="copyright"> <div class="copyright">
<a href="http://frama-c.com">frama-c.com</a><br> <a href="https://frama-c.com">frama-c.com</a><br>
&copy; 2007-2021 CEA-LIST &copy; 2007-2021 CEA-LIST
</div> </div>
</body> </body>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment