From 4f012c54261ee47180f246892a67d603848c25d5 Mon Sep 17 00:00:00 2001 From: jkf Date: Sun, 23 Jun 2019 16:54:25 +0200 Subject: [PATCH] cherry-pick updated wiki location in manual --- manual/using.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/manual/using.html b/manual/using.html index d3b9a5678..5a3c06c02 100644 --- a/manual/using.html +++ b/manual/using.html @@ -569,10 +569,10 @@ If you need a special function, you should
  1. have a look at this manual, because Ant provides lot of tasks
  2. have a look at the external task page online
  3. -
  4. have a look at the external task wiki - page
  5. +
  6. have a look at the external task wiki + page
  7. ask on the Ant user list
  8. -
  9. implement (and share) your own
  10. +
  11. implement (and share) your own