From: Jim Procter Date: Thu, 15 Oct 2015 13:45:06 +0000 (+0100) Subject: JAL-1791 make timestamping optional using -Dtimestamp X-Git-Tag: Release_2_9_0b2~1^2~5 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;ds=sidebyside;h=dde9333fbc578f7b70d8219e33143b43c4f78121;p=jalview.git JAL-1791 make timestamping optional using -Dtimestamp --- diff --git a/build.xml b/build.xml index ce473a5..ed888d6 100755 --- a/build.xml +++ b/build.xml @@ -27,7 +27,8 @@ - + + @@ -298,7 +299,7 @@ - + @@ -366,16 +367,28 @@ --> - - + + + - - + + + + + + + + + + + + +