diff options
Diffstat (limited to 'ocamldoc/odoc_info.mli')
-rw-r--r-- | ocamldoc/odoc_info.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc_info.mli b/ocamldoc/odoc_info.mli index fd03238261..8d03ee28fe 100644 --- a/ocamldoc/odoc_info.mli +++ b/ocamldoc/odoc_info.mli @@ -90,7 +90,7 @@ type alert = Odoc_types.alert = { } (** Information in a special comment -@before 3.12.0 \@before information was not present. +@before 3.12 \@before information was not present. *) type info = Odoc_types.info = { i_desc : text option; (** The description text. *) |