From 1b741631f3e9ea15b77c757e5d056111b5a71826 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 23 Jul 2024 09:18:45 +0200
Subject: [PATCH] [kernel] more API doc

---
 src/kernel_services/plugin_entry_points/plugin.mli | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/kernel_services/plugin_entry_points/plugin.mli b/src/kernel_services/plugin_entry_points/plugin.mli
index a27fb14697..ead0e26543 100644
--- a/src/kernel_services/plugin_entry_points/plugin.mli
+++ b/src/kernel_services/plugin_entry_points/plugin.mli
@@ -50,7 +50,9 @@ module type S_no_log = sig
   module Share: Parameter_sig.Site_root
 
   (** 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
 
   (** Handle the specific `cache' directory of the plug-in.
-- 
GitLab