From 61b1fbf01dd89e23560e07ada8bcbcc3a7a4b5f0 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Fri, 6 Aug 2021 08:34:51 +0200 Subject: [PATCH] Fix Frama-C 23.1 short_title --- _events/framac-23.1.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_events/framac-23.1.md b/_events/framac-23.1.md index 96c7efcb..b397e3ba 100644 --- a/_events/framac-23.1.md +++ b/_events/framac-23.1.md @@ -1,7 +1,7 @@ --- layout: default date: "21-07-2021" -event: Frama-C 23.1 (Vanadium) +short_title: Frama-C 23.1 (Vanadium) title: Release of Frama-C 23.1 (Vanadium) link: /fc-versions/vanadium.html --- -- GitLab