Improves download and plugins pages (!95) · Merge requests · pub / Frama-C Website · GitLab

Allan Blanchard requested to merge features-plugins-and-downloads into master Nov 23, 2020

Proposed changes:

https://www.frama-c.com/html/get-frama-c.html becomes:

https://www.frama-c.com/html/kernel-plugin.html becomes:

https://www.frama-c.com/fc-plugins/eva.html becomes: