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

[kernel] fix 'since' tags

parent 9e009810
No related branches found
No related tags found
No related merge requests found
...@@ -65,11 +65,11 @@ val datadir: string ...@@ -65,11 +65,11 @@ val datadir: string
val datadirs: string list val datadirs: string list
(** Directories where architecture independent files are in order of (** Directories where architecture independent files are in order of
priority. priority.
@since Frama-C-trunk*) @since 19.0-Potassium *)
val framac_libc: string val framac_libc: string
(** Directory where Frama-C libc headers are. (** Directory where Frama-C libc headers are.
@since Frama-C-trunk*) @since 19.0-Potassium *)
val libdir: string val libdir: string
(** Directory where the Frama-C kernel library is. (** Directory where the Frama-C kernel library is.
......
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