From 440a93afdd124babd3d8d7ad11eb849319190c38 Mon Sep 17 00:00:00 2001
From: Augustin <augustin.lemesle@cea.fr>
Date: Mon, 18 Nov 2019 16:30:40 +0100
Subject: [PATCH] re-add previous versions
---
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 7e436013..5de80233 100755
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -17,7 +17,7 @@ title: Get Frama-C
<a href="index.html#" role="button" data-tab="linux"><b>Linux</b></a> <a href="index.html#" role="button" data-tab=
"mac"><b>Mac</b></a> <a href="index.html#" role="button" data-tab="windows"><b>Windows</b></a>
</div>
-
+ <a href="/html/framac-versions.html" class="previousVersion">Previous Versions</a>
<div class="otherConfiguration">
If you have a different configuration, <a target="_blank" href="https://github.com/Frama-C" class="lineMove">click
here</a>
--
GitLab