From: Ben Soares Date: Wed, 27 May 2020 15:53:40 +0000 (+0100) Subject: JAL-3541 small fix for clover.xml location expected by build server plugin, and comme... X-Git-Tag: Release_2_11_1_1~13^2~26^2^2~1 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=eb4948d52c8d6443fbff6bfc0ab0f1a82d2a93f2;hp=eb4948d52c8d6443fbff6bfc0ab0f1a82d2a93f2;p=jalview.git JAL-3541 small fix for clover.xml location expected by build server plugin, and comment clarity ---