Skip to content

Adds description to main pages

Allan Blanchard requested to merge feature/descriptions-for-seo into master

As far as I understand adding "description" meta field is important for SEO.

Currently, I was unable to add such a field for the different Frama-C version pages, and I still do not understand why.

Merge request reports