Skip to content
Snippets Groups Projects
Commit ab58dca9 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

Revert "[Kernel] projectify option -add-symbolic-path"

parent 59f11ff0
No related branches found
No related tags found
No related merge requests found
...@@ -592,6 +592,7 @@ module Time = ...@@ -592,6 +592,7 @@ module Time =
end) end)
let () = Parameter_customize.set_group messages let () = Parameter_customize.set_group messages
let () = Parameter_customize.do_not_projectify ()
module SymbolicPath = module SymbolicPath =
String_set (* TODO: to be replaced by an hashtbl *) String_set (* TODO: to be replaced by an hashtbl *)
(struct (struct
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment