From 0e05368f3606f8f04b09518c22a49b7ff79c67f0 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Tue, 3 Dec 2019 17:04:19 +0100
Subject: [PATCH] [kernel] fix 'since' tags
---
src/kernel_internals/runtime/config.mli | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_internals/runtime/config.mli b/src/kernel_internals/runtime/config.mli
index fb6d070c74c..a75a8ca2f20 100644
--- a/src/kernel_internals/runtime/config.mli
+++ b/src/kernel_internals/runtime/config.mli
@@ -65,11 +65,11 @@ val datadir: string
val datadirs: string list
(** Directories where architecture independent files are in order of
priority.
- @since Frama-C-trunk*)
+ @since 19.0-Potassium *)
val framac_libc: string
(** Directory where Frama-C libc headers are.
- @since Frama-C-trunk*)
+ @since 19.0-Potassium *)
val libdir: string
(** Directory where the Frama-C kernel library is.
--
GitLab