diff --git a/docs/manual/CoreTypes/regexp.html b/docs/manual/CoreTypes/regexp.html index 0671980fe..59a7e4689 100644 --- a/docs/manual/CoreTypes/regexp.html +++ b/docs/manual/CoreTypes/regexp.html @@ -105,6 +105,9 @@ These string filters also use the mechanism of regexp to choose a regular expres