diff --git a/src/plugins/markdown-report/LICENSE b/src/plugins/markdown-report/LICENSE new file mode 100644 index 0000000000000000000000000000000000000000..d0aa4f37090a964609695d3d8155e9999abb9a21 --- /dev/null +++ b/src/plugins/markdown-report/LICENSE @@ -0,0 +1,9 @@ +Files in this directory are part of the MarkDown Report Frama-C plug-in. + +Copyright (C) 2007-2018 + CEA (Commissariat à l'énergie atomique et aux énergies + alternatives) + +All rights reserved. +Contact CEA LIST for licensing. +