From 209ee5d28c3b5d2f9a0ee40a2ca34a077b2e55a9 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Tue, 10 May 2022 15:14:49 +0200 Subject: [PATCH] [hdrs] removed journal --- headers/header_spec.txt | 4 ---- 1 file changed, 4 deletions(-) diff --git a/headers/header_spec.txt b/headers/header_spec.txt index e34347acdd0..e635e42c3a1 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -657,8 +657,6 @@ src/kernel_services/plugin_entry_points/dynamic.ml: CEA_LGPL src/kernel_services/plugin_entry_points/dynamic.mli: CEA_LGPL src/kernel_services/plugin_entry_points/emitter.ml: CEA_LGPL src/kernel_services/plugin_entry_points/emitter.mli: CEA_LGPL -src/kernel_services/plugin_entry_points/journal.ml: CEA_LGPL -src/kernel_services/plugin_entry_points/journal.mli: CEA_LGPL src/kernel_services/plugin_entry_points/kernel.ml: CEA_LGPL src/kernel_services/plugin_entry_points/kernel.mli: CEA_LGPL src/kernel_services/plugin_entry_points/log.ml: CEA_LGPL @@ -826,8 +824,6 @@ src/plugins/callgraph/cg.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/cg.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/cg_viewer.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/cg_viewer.yes.ml: CEA_LGPL_OR_PROPRIETARY -src/plugins/callgraph/journalize.ml: CEA_LGPL_OR_PROPRIETARY -src/plugins/callgraph/journalize.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/options.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/options.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/register.ml: CEA_LGPL_OR_PROPRIETARY -- GitLab