Multiple fixes on auto-generated pages (!210) · Merge requests · pub / Frama-C Website · GitLab

Allan Blanchard requested to merge fix/missing-data into master Oct 27, 2023

Contributes to frama-c/frama-c#1324

fix missing name in installation files
fix too precise version number in event files
fix hello archives
fix missing beta on the "Get Frama-C" page

Edited Oct 27, 2023 by Allan Blanchard