diff --git a/docs/manual/CoreTypes/resources.html b/docs/manual/CoreTypes/resources.html index 6d12b2e45..809fa1bd7 100644 --- a/docs/manual/CoreTypes/resources.html +++ b/docs/manual/CoreTypes/resources.html @@ -112,7 +112,7 @@ implementations are also usable as single-element