JAL-1791 make timestamping optional using -Dtimestamp
authorJim Procter <jprocter@issues.jalview.org>
Thu, 15 Oct 2015 13:45:06 +0000 (14:45 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Thu, 15 Oct 2015 16:40:30 +0000 (17:40 +0100)
commit1798548ed7edbbabc3d38920b0d86f43feaeae8c
tree4684787751d6774f9f909c0e94b5a4f38cadc2d3
parent6298df9e449bb66970d176dafd82be4781ec5f79
JAL-1791 make timestamping optional using -Dtimestamp
build.xml