Commit a44d5094 authored by Gérard Huet's avatar Gérard Huet

Current year bumped to 2019

parent b5329d7a
...@@ -4,7 +4,7 @@ ...@@ -4,7 +4,7 @@
(* *) (* *)
(* Gérard Huet *) (* Gérard Huet *)
(* *) (* *)
(* ©2018 Institut National de Recherche en Informatique et en Automatique *) (* ©2019 Institut National de Recherche en Informatique et en Automatique *)
(**************************************************************************) (**************************************************************************)
(*i module Html = struct i*) (*i module Html = struct i*)
...@@ -629,7 +629,7 @@ value anchor_pseudo url link = ...@@ -629,7 +629,7 @@ value anchor_pseudo url link =
(***************************) (***************************)
value start_year = " 1994-" value start_year = " 1994-"
and current_year = "2018" and current_year = "2019"
and author_name = "Gérard Huet" and author_name = "Gérard Huet"
; ;
value copyright = "© " ^ author_name ^ start_year ^ current_year value copyright = "© " ^ author_name ^ start_year ^ current_year
......
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