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_10_0~354 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=1798548ed7edbbabc3d38920b0d86f43feaeae8c;p=jalview.git JAL-1791 make timestamping optional using -Dtimestamp --- diff --git a/build.xml b/build.xml index 7ad650e..70c30a1 100755 --- a/build.xml +++ b/build.xml @@ -27,7 +27,8 @@ - + + @@ -298,7 +299,7 @@ - + @@ -366,16 +367,28 @@ --> - - + + + - - + + + + + + + + + + + + +