Skip to content
Snippets Groups Projects
Commit 440a93af authored by Augustin Lemesle's avatar Augustin Lemesle
Browse files

re-add previous versions

parent 502cfdd9
No related branches found
No related tags found
No related merge requests found
...@@ -17,7 +17,7 @@ title: Get Frama-C ...@@ -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= <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> "mac"><b>Mac</b></a> <a href="index.html#" role="button" data-tab="windows"><b>Windows</b></a>
</div> </div>
<a href="/html/framac-versions.html" class="previousVersion">Previous Versions</a>
<div class="otherConfiguration"> <div class="otherConfiguration">
If you have a different configuration, <a target="_blank" href="https://github.com/Frama-C" class="lineMove">click If you have a different configuration, <a target="_blank" href="https://github.com/Frama-C" class="lineMove">click
here</a> here</a>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment