Skip to content
Snippets Groups Projects
Commit 166da624 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[archives] better description of the old archive on the contact page.

parent 854b25f3
No related branches found
No related tags found
1 merge request!130Frama-C discuss old archives
Pipeline #39579 passed with warnings