From 1028b11afacc50b6566201d8f378ddc4bc2b6619 Mon Sep 17 00:00:00 2001 From: Gintas Grigelionis Date: Wed, 28 Feb 2018 16:36:20 +0100 Subject: [PATCH] Correct markup --- manual/proxy.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/manual/proxy.html b/manual/proxy.html index a2cd7f8d7..4afeceb11 100644 --- a/manual/proxy.html +++ b/manual/proxy.html @@ -260,8 +260,8 @@ For csh/tcsh:

  1. With Ant 1.7 and Java 5+ using the -autoproxy parameter.
    2. -
  2. Via JVM system properties—set these in the ANT_ARGS environment variable.
    3. -
  3. Via the <setproxy> task.
    4. +
  4. Via JVM system properties—set these in the ANT_ARGS environment variable.
    5. +
  5. Via the <setproxy> task.
  6. Custom ProxySelector implementations