From 62d2d737123b7e0ffa5f89043a973f15fde0188f Mon Sep 17 00:00:00 2001 From: Reinier Zwitserloot Date: Fri, 14 Feb 2020 01:33:30 +0100 Subject: [fixing up 0d7540d] the jar file produced did not have a .jar file extension --- build.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.xml b/build.xml index 08adc3e2..4f1f57d3 100644 --- a/build.xml +++ b/build.xml @@ -1085,6 +1085,6 @@ You can also create your own by writing a 'testenvironment.properties' file. The - + -- cgit