From 7c9c6381a82449fb51c4a30204758634e02f192d Mon Sep 17 00:00:00 2001
From: Ian Young <ian@iay.org.uk>
Date: Fri, 29 Jul 2016 16:43:13 +0100
Subject: [PATCH] Remove unused second temporary file property.

---
 build.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build.xml b/build.xml
index 983cd76e..71aba569 100644
--- a/build.xml
+++ b/build.xml
@@ -163,7 +163,6 @@
         Full paths to a couple of temporary file locations.
     -->
     <property name="temp.xml" value="${xml.dir}/temp.xml"/>
-    <property name="temp2.xml" value="${xml.dir}/temp2.xml"/>
 
 
     <!--