diff --git a/test/xdocs/properties.xml b/test/xdocs/properties.xml index 63e40a32..c5015727 100644 --- a/test/xdocs/properties.xml +++ b/test/xdocs/properties.xml @@ -104,7 +104,7 @@
true to ignore a failure during testing.
Its use is NOT RECOMMENDED, but quite convenient on occasion.