diff --git a/docs/manual/CoreTypes/filterset.html b/docs/manual/CoreTypes/filterset.html index 250fa7a16..4ffe817ea 100644 --- a/docs/manual/CoreTypes/filterset.html +++ b/docs/manual/CoreTypes/filterset.html @@ -59,6 +59,12 @@ you should ensure that the set of files being filtered are all text files.