From 6c57118754647075d09368206c14dd7b3dc0f7a9 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 26 Oct 2020 12:34:03 +0100
Subject: [PATCH] Fix scandium minor
---
_fc-versions/scandium.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/_fc-versions/scandium.md b/_fc-versions/scandium.md
index 14b152eb..7bdcdf60 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:
--
GitLab