From a547a616c12eaccfd33ade026116e097ce6964de Mon Sep 17 00:00:00 2001
From: Yaelle Vincont <yaelle.vincont@cea.fr>
Date: Thu, 7 Nov 2019 15:06:37 +0100
Subject: [PATCH] [fix/get-frama-c] correction
---
html/get-frama-c.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index bee8c125..7e436013 100755
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -11,7 +11,7 @@ title: Get Frama-C
<div id="container" class="mainContainer">
<div class="getFramaC">
<div class="wrap">
- <h1 class="pageTitle">Choose for which terminal you want Frama C</h1>
+ <h1 class="pageTitle">Choose for which OS you want Frama C</h1>
<div class="OS codeTabs">
<a href="index.html#" role="button" data-tab="linux"><b>Linux</b></a> <a href="index.html#" role="button" data-tab=
--
GitLab