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

changelog fix

parent 33a903c7
No related branches found
No related tags found
No related merge requests found
Pipeline #24140 passed
......@@ -9,7 +9,6 @@ layout: default
<div id="container" class="mainContainer">
<div class="defaultPage versionsPage pages textLeft" id="content" role="main">
<div class="wrap">
<div class="bgTextbig">Changelog</div>
<div class="versionsPageContent">
<div class="paragraphGroup">
<h3>Frama-C Changelog</h3>
......
source diff could not be displayed: it is too large. Options to address this: view the blob.
......@@ -10,7 +10,7 @@ let set_plugin p = Lexer.plugin_mode := Some p
(* --- Main HTML --- *)
(* -------------------------------------------------------------------------- *)
let print_head fmt = Format.fprintf fmt "---\nlayout: clean_page\ntitle: Changelog\ncss: changelog\n---\n"
let print_head fmt = Format.fprintf fmt "---\nlayout: changelog\ntitle: Changelog\ncss: changelog\n---\n"
let print_text fmt s =
for i=0 to String.length s - 1 do
......
source diff could not be displayed: it is too large. Options to address this: view the blob.
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