Skip to content
Snippets Groups Projects
Commit 9ce2c136 authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[server] update headers

parent 618d81b2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 19 additions and 21 deletions
headers/header_spec.txt
+ 0
− 2
View file @ 9ce2c136
......@@ -659,8 +659,6 @@ src/libraries/utils/pretty_utils.ml: CEA_LGPL
src/libraries/utils/pretty_utils.mli: CEA_LGPL
src/libraries/utils/qstack.ml: CEA_LGPL
src/libraries/utils/qstack.mli: CEA_LGPL
src/libraries/utils/sanitizer.ml: CEA_LGPL
src/libraries/utils/sanitizer.mli: CEA_LGPL
src/libraries/utils/rangemap.ml: OCAML_STDLIB
src/libraries/utils/rangemap.mli: OCAML_STDLIB
src/libraries/utils/rgmap.ml: CEA_LGPL
......
src/libraries/utils/markdown.ml
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/libraries/utils/markdown.mli
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/Makefile.in
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
# #
# This file is part of Frama-C. #
# #
# Copyright (C) 2007-2018 #
# Copyright (C) 2007-2019 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
......
src/plugins/server/configure.ac
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
# #
# This file is part of Frama-C. #
# #
# Copyright (C) 2007-2018 #
# Copyright (C) 2007-2019 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
......
src/plugins/server/data.ml
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/data.mli
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/doc.ml
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/doc.mli
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/jbuffer.ml
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/jbuffer.mli
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/kernel_ast.ml
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/kernel_ast.mli
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/kernel_fc.ml
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/kernel_fc.mli
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/kernel_project.ml
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/kernel_project.mli
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/main.ml
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/main.mli
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/server/request.ml
+ 1
− 1
View file @ 9ce2c136
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2018 *)
(* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
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