From ac314aefe7a17b4a461a6b965373b5684bdb2812 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 12 Apr 2018 12:10:41 -0500 Subject: [PATCH] chore: remove dead link in string doc --- src/core/CCString.mli | 5 +---- src/core/CCUtf8_string.mli | 1 + 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/src/core/CCString.mli b/src/core/CCString.mli index ce807f2d..d47731bf 100644 --- a/src/core/CCString.mli +++ b/src/core/CCString.mli @@ -1,10 +1,7 @@ (* This file is free software, part of containers. See file "license" for more details. *) -(** {1 Basic String Utils} - - Consider using {!Containers_string.KMP} for pattern search, or Regex - libraries. *) +(** {1 Basic String Utils} *) type 'a gen = unit -> 'a option type 'a sequence = ('a -> unit) -> unit diff --git a/src/core/CCUtf8_string.mli b/src/core/CCUtf8_string.mli index 8bec9722..a54fafc7 100644 --- a/src/core/CCUtf8_string.mli +++ b/src/core/CCUtf8_string.mli @@ -11,6 +11,7 @@ please use the excellent {{: http://erratique.ch/software/uutf} Uutf}. {b status: experimental} + {b status}: experimental @since 2.1 *)