diff --git a/docs/external.html b/docs/external.html index 84477148c..db4ce7f41 100644 --- a/docs/external.html +++ b/docs/external.html @@ -181,7 +181,8 @@ information to one of the mailing lists. For details, see the FAQ.
Nothing listed here is directly supported by the Ant - developers, if you encounter any problems with them, please use + developers (therefore 'external tools and tasks'), + if you encounter any problems with them, please use the contact information.
Nothing listed here is directly supported by the Ant - developers, if you encounter any problems with them, please use + developers (therefore 'external tools and tasks'), + if you encounter any problems with them, please use the contact information.