diff --git a/docs/manual/Integration/VAJAntTool.html b/docs/manual/Integration/VAJAntTool.html index 888713ad2..bb225f5ff 100644 --- a/docs/manual/Integration/VAJAntTool.html +++ b/docs/manual/Integration/VAJAntTool.html @@ -555,7 +555,7 @@ JDK independent by now.
Added documentation of new remote feature.
Minor corrections.