diff --git a/_fc-versions/scandium.md b/_fc-versions/scandium.md index 14b152ebc11ddc0250b864e19e025f0dfaf28449..7bdcdf6022e61acc68e59f02ea64f8e1a6a54ba9 100755 --- a/_fc-versions/scandium.md +++ b/_fc-versions/scandium.md @@ -3,7 +3,7 @@ layout: version number: 21 name: Scandium releases: - - number: 0 + - number: 1 categories: - name: Frama-C v21.1 Scandium files: