diff --git a/_layouts/version.html b/_layouts/version.html index 0971cbba4a1e435d6b2fc948a8b2a9f3a87502b6..0576166de232ca62e8335c2b2d307116e758faa6 100644 --- a/_layouts/version.html +++ b/_layouts/version.html @@ -1,6 +1,6 @@ --- layout: default -description: "Poney" +description: Frama-C analysis platform release and manuals css: version ---