From 3a2a62a3083f63fd0c5fad4a83812d5d61802ca1 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Tue, 9 Feb 2021 08:49:41 +0100 Subject: [PATCH] [MdR] remove obsolete LICENSE file, from when the plug-in wasn't distributed --- src/plugins/markdown-report/LICENSE | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 src/plugins/markdown-report/LICENSE diff --git a/src/plugins/markdown-report/LICENSE b/src/plugins/markdown-report/LICENSE deleted file mode 100644 index a2c9b3c9fe9..00000000000 --- a/src/plugins/markdown-report/LICENSE +++ /dev/null @@ -1,9 +0,0 @@ -Files in this directory are part of the MarkDown Report Frama-C plug-in. - -Copyright (C) 2007-2020 - CEA (Commissariat à l'énergie atomique et aux énergies - alternatives) - -All rights reserved. -Contact CEA LIST for licensing. - -- GitLab