From 6d06c08f3a378023fe22bd58dceb0dfd58306213 Mon Sep 17 00:00:00 2001
From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Fri, 27 Oct 2017 12:20:28 +0100
Subject: [PATCH] JAL-2754 renamed proguard.jar to include version number

---
 build.xml                                  |    2 +-
 utils/{proguard.jar => proguard_5.3.3.jar} |  Bin 870966 -> 870966 bytes
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename utils/{proguard.jar => proguard_5.3.3.jar} (100%)

diff --git a/build.xml b/build.xml
index bb146dd..436148a 100755
--- a/build.xml
+++ b/build.xml
@@ -624,7 +624,7 @@
       <include name="plugin.jar" />
     </fileset>
   </path>
-  <taskdef resource="proguard/ant/task.properties" classpath="utils/proguard.jar" />
+  <taskdef resource="proguard/ant/task.properties" classpath="utils/proguard_5.3.3.jar" />
 
   <proguard verbose="true" >
     <injar file="in.jar" />
diff --git a/utils/proguard.jar b/utils/proguard_5.3.3.jar
similarity index 100%
rename from utils/proguard.jar
rename to utils/proguard_5.3.3.jar
-- 
1.7.10.2