From 7c3db4a63dadf4047c3b02efb67c8f0992a2bc58 Mon Sep 17 00:00:00 2001
From: Stefan Bodewig <bodewig@apache.org>
Date: Mon, 25 Jul 2016 12:10:52 +0200
Subject: [PATCH] formatting was broken

---
 manual/properties.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/manual/properties.html b/manual/properties.html
index cfb59ea8b..96646e1c9 100644
--- a/manual/properties.html
+++ b/manual/properties.html
@@ -87,8 +87,8 @@ ant.java.version    the JVM version Ant detected; currently it can hold
                     the values &quot;1.9&quot;, &quot;1.8&quot;,
                     &quot;1.7&quot;, &quot;1.6&quot;, &quot;1.5&quot;,
                     &quot;1.4&quot;, &quot;1.3&quot; and
-                    &quot;1.2&quot;.  ant.core.lib the absolute path
-                    of the <code>ant.jar</code> file.
+                    &quot;1.2&quot;.
+ant.core.lib        the absolute path of the <code>ant.jar</code> file.
 </pre>
 
   <p>There is also another property, but this is set by the launcher