git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c1a698) | 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>
Wed, 1 Aug 2018 09:53:55 +0000 (10:53 +0100)
commit0bee8aadc22e41e4793db251a7d37a839bd77db8
treeb6bd74550a0306e2d4ae9b4b8f8afd2ec368b104tree | snapshot
parent6c1a6981710f59f6b1c337b81e271aaedcadb8fbcommit | diff
JAL-3047 don’t let the makedist task complete if a clover build was performed
build.xml diff | blob | history