From b5707426716749ffdcee495353b71cb48d1433ad Mon Sep 17 00:00:00 2001 From: jprocter Date: Fri, 9 Nov 2012 17:00:09 +0000 Subject: [PATCH] property to configure webstart image --- build.xml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/build.xml b/build.xml index b2a39c6..0f81af7 100755 --- a/build.xml +++ b/build.xml @@ -88,6 +88,8 @@ + + @@ -234,7 +236,7 @@ - + @@ -249,7 +251,7 @@ Jalview Multiple Alignment Editor Jalview - + @@ -277,7 +279,7 @@ Jalview Multiple Alignment Editor Jalview - + @@ -305,7 +307,7 @@ Jalview Multiple Alignment Editor Jalview - + -- 1.7.10.2