Skip to content
Snippets Groups Projects
Normal view Permalink
plugins.html 570 B
Newer Older
Allan Blanchard's avatar
Other top-level redirections
Allan Blanchard committed
1 2 3 4 5 6 
<!DOCTYPE html>
<html>
   <head>
      <title>Features - Frama-C</title>
      <meta http-equiv = "refresh" content = "0; url=/html/kernel-plugin.html" />
      <link rel="canonical" href="https://www.frama-c.com/html/kernel-plugin.html" />
Allan Blanchard's avatar
Fix kernel-plugin redirection descriptions  
Allan Blanchard committed
7 
      <meta description = "Overview of all the analyzers of the Frama-C analysis platform with access to summaries, quick examples, user manuals and links to other resources." />
Allan Blanchard's avatar
Other top-level redirections
Allan Blanchard committed
8 9 10 11 12 
   </head>
   <body>
      <p>Redirect to <a href="https://www.frama-c.com/html/kernel-plugin.html">Kernel and plugins page</a></p>
   </body>
</html>