Commit 61b1fbf0 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Fix Frama-C 23.1 short_title

parent 4ab4acb9
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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment