Skip to content
Snippets Groups Projects
Commit 209ee5d2 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[hdrs] removed journal

parent a0690931
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 4 deletions
headers/header_spec.txt
+ 0
− 4
View file @ 209ee5d2
...@@ -657,8 +657,6 @@ src/kernel_services/plugin_entry_points/dynamic.ml: CEA_LGPL ...@@ -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/dynamic.mli: CEA_LGPL
src/kernel_services/plugin_entry_points/emitter.ml: 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/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.ml: CEA_LGPL
src/kernel_services/plugin_entry_points/kernel.mli: CEA_LGPL src/kernel_services/plugin_entry_points/kernel.mli: CEA_LGPL
src/kernel_services/plugin_entry_points/log.ml: 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 ...@@ -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.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/cg_viewer.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/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.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/options.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/options.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/register.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/callgraph/register.ml: CEA_LGPL_OR_PROPRIETARY
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment