Commit 3a130ae3 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Other top-level redirections

parent cfdbccb5
<!DOCTYPE html>
<html>
<head>
<title>Authors - Frama-C</title>
<meta http-equiv = "refresh" content = "0; url=/html/authors.html" />
<link rel="canonical" href="https://www.frama-c.com/html/authors.html" />
<meta description = "About Frama-C." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/html/authors.html">Authors - Frama-C</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>Frama-C - Changelog</title>
<meta http-equiv = "refresh" content = "0; url=/html/changelog.html" />
<link rel="canonical" href="https://www.frama-c.com/html/changelog.html" />
<meta description = "Complete changelog of the Frama-C analysis platform." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/html/changelog.html">Changelog</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>Contact Us</title>
<meta http-equiv = "refresh" content = "0; url=/html/contact.html" />
<link rel="canonical" href="https://www.frama-c.com/html/contact.html" />
<meta description = "Get in touch with the Frama-C team and its community!" />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/html/contact.html">Contact</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>ACSL - Frama-C</title>
<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" />
<meta description = "Description of the ANSI C Specification Language." />
......
<!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" />
<meta description = "Description of the ANSI C Specification Language." />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/html/kernel-plugin.html">Kernel and plugins page</a></p>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>Contact Us</title>
<meta http-equiv = "refresh" content = "0; url=/html/contact.html" />
<link rel="canonical" href="https://www.frama-c.com/html/contact.html" />
<meta description = "Get in touch with the Frama-C team and its community!" />
</head>
<body>
<p>Redirect to <a href="https://www.frama-c.com/html/contact.html">Contact</a></p>
</body>
</html>
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment