summaryrefslogtreecommitdiff
path: root/ocamldoc
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-10-31 09:48:32 +0000
committerDavid Allsopp <david.allsopp@metastack.com>2022-10-31 09:48:32 +0000
commit8e12c01e459872592e2959dc70da9e9e25695ca6 (patch)
tree0f71593c83d900d9b5d51361717face6b443ff99 /ocamldoc
parentcc3d9cb9bbe594b89e0339c6ef8b1da74a537972 (diff)
downloadocaml-8e12c01e459872592e2959dc70da9e9e25695ca6.tar.gz
Remove .0 from all @since, @before and @after
Diffstat (limited to 'ocamldoc')
-rw-r--r--ocamldoc/odoc_info.mli2
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. *)