git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99e3934) | patch
JAL-3047 don’t let the makedist task complete if a clover build was performed
authorJim Procter <jprocter@issues.jalview.org>
Mon, 2 Jul 2018 09:24:24 +0000 (10:24 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Mon, 2 Jul 2018 09:24:24 +0000 (10:24 +0100)
commit0e9c855a29ea94ebe67a3ee76aff0c05ed2d83ee
tree34fed81932ab73f9a737d2ba249f052bc7fa1a18tree | snapshot
parent99e3934ef65903edc504e8495a95f6b519914f67commit | diff
JAL-3047 don’t let the makedist task complete if a clover build was performed
build.xml diff | blob | history