diff --git a/_fc-versions/chlorine.md b/_fc-versions/chlorine.md index 2010b64b722d85152feef6e8b3c1bc2a99814a42..a35b70aa16424efc8acd65559e44b0c413342c5c 100755 --- a/_fc-versions/chlorine.md +++ b/_fc-versions/chlorine.md @@ -3,7 +3,7 @@ layout: version number: 17 name: Chlorine releases: - - number: 0 + - number: 1 changelog: 20180502 categories: - name: Frama-C v17.0 Chlorine diff --git a/_fc-versions/hydrogen.md b/_fc-versions/hydrogen.md index ff6079f261b62fcf5105cccc5a72204d08ec5e41..f4071158e679aa4aa89a0266089bc91deaa1843a 100755 --- a/_fc-versions/hydrogen.md +++ b/_fc-versions/hydrogen.md @@ -3,7 +3,7 @@ layout: version number: 1 name: Hydrogen releases: - - number: 3 + - number: 2 changelog: 20080502 categories: - name: Frama-C v1.0 Hydrogen diff --git a/_layouts/version.html b/_layouts/version.html index 08fe1c4b4d1beb48bab327c725ac613137c6d972..6d403d5848621980eea52000c007f8ecc3dbc07f 100644 --- a/_layouts/version.html +++ b/_layouts/version.html @@ -62,11 +62,11 @@ css: version </div> </div> </div> - </div> - </div> - {% include footer.html %} + </div> + {% include footer.html %} - <div class="clear"></div> + <div class="clear"></div> + </div> </div> </div> </body>