Skip to content

Multiple fixes on auto-generated pages

Allan Blanchard requested to merge fix/missing-data into master

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 by Allan Blanchard

Merge request reports