Merge branch 'feature/descriptions-for-seo' into 'master'
Adds description to main pages See merge request !84
Showing
- _layouts/changelog.html 1 addition, 0 deletions_layouts/changelog.html
- _layouts/default.html 5 additions, 0 deletions_layouts/default.html
- _layouts/version.html 1 addition, 1 deletion_layouts/version.html
- blog/index.html 1 addition, 0 deletionsblog/index.html
- html/acsl.html 1 addition, 0 deletionshtml/acsl.html
- html/contact.html 1 addition, 0 deletionshtml/contact.html
- html/documentation.html 1 addition, 0 deletionshtml/documentation.html
- html/framac-versions.html 1 addition, 0 deletionshtml/framac-versions.html
- html/get-frama-c.html 1 addition, 0 deletionshtml/get-frama-c.html
- html/gui.md 1 addition, 0 deletionshtml/gui.md
- html/kernel-plugin.html 1 addition, 0 deletionshtml/kernel-plugin.html
- html/kernel.html 1 addition, 0 deletionshtml/kernel.html
- html/overview.md 1 addition, 0 deletionshtml/overview.md
- html/publications.html 1 addition, 0 deletionshtml/publications.html
- html/teaching.html 1 addition, 0 deletionshtml/teaching.html
- html/tutorials.html 1 addition, 0 deletionshtml/tutorials.html
- index.html 3 additions, 1 deletionindex.html
Please register or sign in to comment