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 13:45:06 +0000 (14:45 +0100)
commitdde9333fbc578f7b70d8219e33143b43c4f78121
treebe89eee0b56b7a9e015edcaae2f8feb59d4df63f
parent88b92f6e6bce34dcdd0e16cfd8bbfff88a4e2f8c
JAL-1791 make timestamping optional using -Dtimestamp
build.xml