Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 4f3e8ff9 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Change license to LGPL 3 or later.

parent 2772b8ad
No related branches found
No related tags found
No related merge requests found
This diff is collapsed.
(***************************************************)
(* Copyright 2008 Jean-Christophe Filliâtre *)
(* Copyright 2008-2016 Guillaume Melquiond *)
(* *)
(* This file is distributed under the terms of the *)
(* GNU Lesser General Public License Version 2.1 *)
(***************************************************)
(********************************************************)
(* Copyright 2008 Jean-Christophe Filliâtre *)
(* Copyright 2008-2020 Guillaume Melquiond *)
(* *)
(* This file is distributed under the terms of the *)
(* GNU Lesser General Public License Version 3 or later *)
(********************************************************)
open Format
open Util
......
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