diff --git a/clover/xdocs/properties.xml b/clover/xdocs/properties.xml index e52432d6..ac9e6cce 100644 --- a/clover/xdocs/properties.xml +++ b/clover/xdocs/properties.xml @@ -291,6 +291,16 @@ 5000 +