From d2f0bd2a42c43704d1d7c3753ed42b47066d5c2c Mon Sep 17 00:00:00 2001
From: Yaelle Vincont <yaelle.vincont@cea.fr>
Date: Thu, 7 Nov 2019 15:21:21 +0100
Subject: [PATCH] [ref/using_frama-c] from upper to lower case
---
html/using-frama-c.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/html/using-frama-c.html b/html/using-frama-c.html
index d2ffd420..9901cb57 100755
--- a/html/using-frama-c.html
+++ b/html/using-frama-c.html
@@ -107,7 +107,7 @@ css: plugin
<div id="group_security_defects">
<div class="paragraphGroup">
- <h3>Detect Security Defects</h3>
+ <h3>Detect security defects</h3>
<p>Frama-C allows to verify that the source code complies with a provided formal specification. Functional
specifications can be written in a dedicated language, ACSL. The specifications can be partial, concentrating
--
GitLab