Skip to content
Snippets Groups Projects
Commit 59fad4b7 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Distribution] remove duplicates

parent 178f8de5
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 2 deletions
headers/header_spec.txt
+ 0
− 2
View file @ 59fad4b7
...@@ -664,8 +664,6 @@ src/libraries/utils/pretty_utils.ml: CEA_LGPL ...@@ -664,8 +664,6 @@ src/libraries/utils/pretty_utils.ml: CEA_LGPL
src/libraries/utils/pretty_utils.mli: CEA_LGPL src/libraries/utils/pretty_utils.mli: CEA_LGPL
src/libraries/utils/qstack.ml: CEA_LGPL src/libraries/utils/qstack.ml: CEA_LGPL
src/libraries/utils/qstack.mli: CEA_LGPL src/libraries/utils/qstack.mli: CEA_LGPL
src/libraries/utils/sanitizer.ml: CEA_LGPL
src/libraries/utils/sanitizer.mli: CEA_LGPL
src/libraries/utils/rangemap.ml: OCAML_STDLIB src/libraries/utils/rangemap.ml: OCAML_STDLIB
src/libraries/utils/rangemap.mli: OCAML_STDLIB src/libraries/utils/rangemap.mli: OCAML_STDLIB
src/libraries/utils/rgmap.ml: CEA_LGPL src/libraries/utils/rgmap.ml: CEA_LGPL
......
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