Skip to content

Commit

Permalink
Update headers
Browse files Browse the repository at this point in the history
  • Loading branch information
@dlesbre
dlesbre committed Apr 17, 2024
1 parent 29f5311 commit 84600ce
Show file tree
Hide file tree
Showing 5 changed files with 28 additions and 4 deletions.
3 changes: 2 additions & 1 deletion dune
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; This file is part of the Patricia Tree library. ;;
;; This file is part of the Codex semantics library ;;
;; (patricia-tree sub-component). ;;
;; ;;
;; Copyright (C) 2024 ;;
;; CEA (Commissariat à l'énergie atomique et aux énergies ;;
Expand Down
20 changes: 20 additions & 0 deletions dune-project
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,24 @@
(lang dune 2.0)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; This file is part of the Codex semantics library ;;
;; (patricia-tree sub-component). ;;
;; ;;
;; Copyright (C) 2024 ;;
;; CEA (Commissariat à l'énergie atomique et aux énergies ;;
;; alternatives) ;;
;; ;;
;; You can redistribute it and/or modify it under the terms of the GNU ;;
;; Lesser General Public License as published by the Free Software ;;
;; Foundation, version 2.1. ;;
;; ;;
;; It is distributed in the hope that it will be useful, ;;
;; but WITHOUT ANY WARRANTY; without even the implied warranty of ;;
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ;;
;; GNU Lesser General Public License for more details. ;;
;; ;;
;; See the GNU Lesser General Public License version 2.1 ;;
;; for more details (enclosed in the file LICENSE). ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; This file is part of the Patricia Tree library. ;;
Expand Down
3 changes: 2 additions & 1 deletion patriciaTree.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
(**************************************************************************)
(* This file is part of the Patricia Tree library. *)
(* This file is part of the Codex semantics library *)
(* (patricia-tree sub-component). *)
(* *)
(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
Expand Down
3 changes: 2 additions & 1 deletion patriciaTree.mli
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
(**************************************************************************)
(* This file is part of the Patricia Tree library. *)
(* This file is part of the Codex semantics library *)
(* (patricia-tree sub-component). *)
(* *)
(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
Expand Down
3 changes: 2 additions & 1 deletion patriciaTreeTest.ml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
(**************************************************************************)
(* This file is part of the Patricia Tree library. *)
(* This file is part of the Codex semantics library *)
(* (patricia-tree sub-component). *)
(* *)
(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
Expand Down

0 comments on commit 84600ce

Please sign in to comment.