Commit 43fd0330 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Update URLs.

parent 191ea2b4
......@@ -171,7 +171,7 @@
This software is distributed under the terms of the GNU Lesser
General Public License version 2.1, with the special exception
on linking described in the
file <a href="https://scm.gforge.inria.fr/anonscm/gitweb?p=why3/why3.git;a=blob_plain;f=LICENSE"
file <a href="https://gitlab.inria.fr/why3/why3/raw/master/LICENSE"
target="_blank">LICENSE</a>.
</p>
<p>TryWhy3 relies on the following excellent open source
......@@ -186,7 +186,7 @@
the <a href="http://ocsigen.org/" target="_blank">Ocsigen</a>
project.</li>
<li>The <a href="https://fortawesome.github.io/Font-Awesome/"
<li>The <a href="https://fontawesome.com/"
target="_blank">Font
Awesome</a> font and CSS toolkit.</li>
<li>The <a href="https://ace.c9.io/" target="_blank">ACE</a> Web editor.</li>
......
Markdown is supported
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