From 2bb0e4dd20e76cbde3c19ab2e6b92e25fec9e73b Mon Sep 17 00:00:00 2001
From: Yaelle Vincont <yaelle.vincont@cea.fr>
Date: Thu, 7 Nov 2019 15:29:09 +0100
Subject: [PATCH] [ref/kernel] replace link
---
html/kernel.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/html/kernel.html b/html/kernel.html
index 813c7c0c..7c2c97b0 100755
--- a/html/kernel.html
+++ b/html/kernel.html
@@ -27,7 +27,7 @@ title: Kernel & Plugins - Frama-C
<p>WIP (TA)</p>
<p>The Frama-C kernel acts as a <em>lingua franca</em> for all <a href=
- "https://framac-staging.eu-staging.kacdn.net/kernel-plugin/">Frama-C plugins</a>. A software analysis platform that
+ "https://frama-c.frama-c.com/html/kernel-plugin.html">Frama-C plugins</a>. A software analysis platform that
checks security, verifies requirements, and guarantees trust in C programs.</p>
<p>Frama-C is a source code analysis platform that aims at conducting verification of industrial-size C programs. It
--
GitLab