Skip to content
Snippets Groups Projects
Commit 1b741631 authored by Allan Blanchard's avatar Allan Blanchard Committed by Andre Maroneze
Browse files

[kernel] more API doc

parent 49b3f208
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_services/plugin_entry_points/plugin.mli
+ 3
− 1
View file @ 1b741631
...@@ -50,7 +50,9 @@ module type S_no_log = sig ...@@ -50,7 +50,9 @@ module type S_no_log = sig
module Share: Parameter_sig.Site_root module Share: Parameter_sig.Site_root
(** Handle the specific `session' directory of the plug-in. (** Handle the specific `session' directory of the plug-in.
@since Neon-20140301 *) @since Neon-20140301
@before Frama-C+dev Session was a Specific_dir.
*)
module Session: Parameter_sig.User_dir_opt module Session: Parameter_sig.User_dir_opt
(** Handle the specific `cache' directory of the plug-in. (** Handle the specific `cache' directory of the plug-in.
......
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