Commit 1443efff authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Headers.

parent 423ac839
(******************************************************************************)
(* *)
(* Sek *)
(* *)
(* Arthur Charguéraud, Émilie Guermeur and François Pottier *)
(* *)
(* Copyright Inria. All rights reserved. This file is distributed under the *)
(* terms of the GNU Lesser General Public License as published by the Free *)
(* Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version, as described in the file LICENSE. *)
(* *)
(******************************************************************************)
(* This file intentionally empty. *)
(******************************************************************************)
(* *)
(* Sek *)
(* *)
(* Arthur Charguéraud, Émilie Guermeur and François Pottier *)
(* *)
(* Copyright Inria. All rights reserved. This file is distributed under the *)
(* terms of the GNU Lesser General Public License as published by the Free *)
(* Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version, as described in the file LICENSE. *)
(* *)
(******************************************************************************)
(* This file intentionally empty. *)
(******************************************************************************)
(* *)
(* Sek *)
(* *)
(* Arthur Charguéraud, Émilie Guermeur and François Pottier *)
(* *)
(* Copyright Inria. All rights reserved. This file is distributed under the *)
(* terms of the GNU Lesser General Public License as published by the Free *)
(* Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version, as described in the file LICENSE. *)
(* *)
(******************************************************************************)
(* This file intentionally empty. *)
(******************************************************************************)
(* *)
(* Sek *)
(* *)
(* Arthur Charguéraud, Émilie Guermeur and François Pottier *)
(* *)
(* Copyright Inria. All rights reserved. This file is distributed under the *)
(* terms of the GNU Lesser General Public License as published by the Free *)
(* Software Foundation, either version 3 of the License, or (at your *)
(* option) any later version, as described in the file LICENSE. *)
(* *)
(******************************************************************************)
(* This file intentionally empty. *)
Supports Markdown
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