Skip to content
Snippets Groups Projects
Commit d9d625d8 authored by Michele Alberti's avatar Michele Alberti
Browse files

[stdlib] Remove FCMap from header spec.

parent 0e122089
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 @ d9d625d8
...@@ -630,8 +630,6 @@ src/libraries/project/state_topological.ml: MODIFIED_OCAMLGRAPH ...@@ -630,8 +630,6 @@ src/libraries/project/state_topological.ml: MODIFIED_OCAMLGRAPH
src/libraries/project/state_topological.mli: MODIFIED_OCAMLGRAPH src/libraries/project/state_topological.mli: MODIFIED_OCAMLGRAPH
src/libraries/stdlib/FCHashtbl.ml: CEA_LGPL src/libraries/stdlib/FCHashtbl.ml: CEA_LGPL
src/libraries/stdlib/FCHashtbl.mli: CEA_LGPL src/libraries/stdlib/FCHashtbl.mli: CEA_LGPL
src/libraries/stdlib/FCMap.ml: OCAML_STDLIB
src/libraries/stdlib/FCMap.mli: OCAML_STDLIB
src/libraries/stdlib/README.md: .ignore src/libraries/stdlib/README.md: .ignore
src/libraries/stdlib/extlib.ml: CEA_LGPL src/libraries/stdlib/extlib.ml: CEA_LGPL
src/libraries/stdlib/extlib.mli: CEA_LGPL src/libraries/stdlib/extlib.mli: 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