From ef5b7da14cc2da8d9e88851fbf0fcf73e62fe788 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr> Date: Mon, 25 Nov 2019 14:47:03 +0100 Subject: [PATCH] Adds a license file used in mthread plugin. --- headers/close-source/JCF_LGPL | 12 ++++++++++++ headers/open-source/JCF_LGPL | 15 +++++++++++++++ 2 files changed, 27 insertions(+) create mode 100644 headers/close-source/JCF_LGPL create mode 100644 headers/open-source/JCF_LGPL diff --git a/headers/close-source/JCF_LGPL b/headers/close-source/JCF_LGPL new file mode 100644 index 00000000000..040d941d8e3 --- /dev/null +++ b/headers/close-source/JCF_LGPL @@ -0,0 +1,12 @@ + +Copyright (C) Jean-Christophe Filliatre + +This software is free software; you can redistribute it and/or +modify it under the terms of the GNU Library General Public +License version 2.1, with the special exception on linking +described in file LICENSE. + +This software 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. + diff --git a/headers/open-source/JCF_LGPL b/headers/open-source/JCF_LGPL new file mode 100644 index 00000000000..169d635765b --- /dev/null +++ b/headers/open-source/JCF_LGPL @@ -0,0 +1,15 @@ + +Copyright (C) Jean-Christophe Filliatre + +This software is free software; you can redistribute it and/or +modify it under the terms of the GNU Library General Public +License version 2.1, with the special exception on linking +described in file LICENSE. + +This software 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. + +File modified by CEA (Commissariat à l'énergie atomique et aux + énergies alternatives). + -- GitLab