Skip to content
Snippets Groups Projects

[plugins] Convert to Markdown, normalize section names and URLs

Merged [plugins] Convert to Markdown, normalize section names and URLs
plugins-to-markdown into master
1 unresolved thread
Merged Andre Maroneze requested to merge plugins-to-markdown into master
1 unresolved thread
Compare
and
Show latest version
1 file
+ 3
− 2
Compare changes
  • Side-by-side
  • Inline
_fc-plugins/mthread.md
+ 3
− 2
@@ -88,5 +88,6 @@ This plug-in depends on results of the [Eva](eva.html) plug-in.
## Contact
The plug-in is currently available under a proprietary licence. You can contact
`support[at]frama-c.com` to obtain such a licence.
The plug-in is currently available under a proprietary licence.
For any questions, remarks or suggestions, please contact
[Tristan Le Gall](mailto:tristan.le-gall@cea.fr?subject=[Mthread]).