From 4d10441a7e826dfb836418ff4f08bb35e0d3b555 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Wed, 18 Mar 2020 10:43:15 +0100 Subject: [PATCH] [server] update copyright in headers --- src/plugins/server/kernel_properties.ml | 2 +- src/plugins/server/kernel_properties.mli | 2 +- src/plugins/server/states.ml | 2 +- src/plugins/server/states.mli | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/plugins/server/kernel_properties.ml b/src/plugins/server/kernel_properties.ml index 6e30d45d923..72812b886a7 100644 --- a/src/plugins/server/kernel_properties.ml +++ b/src/plugins/server/kernel_properties.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2019 *) +(* Copyright (C) 2007-2020 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/kernel_properties.mli b/src/plugins/server/kernel_properties.mli index 9e7b4bf1e70..41847c20a2b 100644 --- a/src/plugins/server/kernel_properties.mli +++ b/src/plugins/server/kernel_properties.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2019 *) +(* Copyright (C) 2007-2020 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/states.ml b/src/plugins/server/states.ml index bf7a29ee0de..9b388ef7387 100644 --- a/src/plugins/server/states.ml +++ b/src/plugins/server/states.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2019 *) +(* Copyright (C) 2007-2020 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/plugins/server/states.mli b/src/plugins/server/states.mli index 01080d8a052..1a90986e112 100644 --- a/src/plugins/server/states.mli +++ b/src/plugins/server/states.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of Frama-C. *) (* *) -(* Copyright (C) 2007-2019 *) +(* Copyright (C) 2007-2020 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) -- GitLab