Skip to content
Snippets Groups Projects
Commit bb18a253 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Fixes two broken links

parent 7adf55f8
No related branches found
No related tags found
No related merge requests found
Pipeline #30287 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
_fc-plugins/aorai.md
+ 1
− 1
View file @ bb18a253
...@@ -77,7 +77,7 @@ Options are: ...@@ -77,7 +77,7 @@ Options are:
## Contact ## Contact
Aoraï has been originally written by Aoraï has been originally written by
[Nicolas Stouls]( mailto:nicolas.stouls@insa-lyon.fr?subject=[Plug-in Aorai]), [Nicolas Stouls](mailto:nicolas.stouls@insa-lyon.fr?subject=[Plug-in Aorai]),
[CITI Labs](http://www.citi-lab.fr), [AMAZONES team](http://amazones.gforge.inria.fr). [CITI Labs](http://www.citi-lab.fr), [AMAZONES team](http://amazones.gforge.inria.fr).
It is currently maintained by CEA LIST as part of the main Frama-C distribution. It is currently maintained by CEA LIST as part of the main Frama-C distribution.
See our [contact](contact.html) page for more information. See our [contact](contact.html) page for more information.
......
download/e-acsl/e-acsl-manual-19.1-Potassium.pdf 0 → 100644 LFS
+ 3
− 0
View file @ bb18a253
File added
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