Merge branch 'jims/JAL-3130_Java11_Gradle_publishing' into bug/JAL-3224_getdown_chang...

[jalview.git] / gradle.properties

diff --git a/gradle.properties b/gradle.properties
index 7eda59b..690f529 100644 (file)
--- a/gradle.properties
+++ b/gradle.properties
@@ -28,6 +28,7 @@ sourceDir = src
 schemaDir = schemas
 classesDir = classes
 clover = false
+use_clover = false
 cloverClassesDir = clover-classes
 cloverSourcesInstrDir = sources-instr
 packageDir = dist