1

Merge branch 'master' into swagger-api

This commit is contained in:
Christoph
2020-03-04 14:23:14 +01:00
committed by GitHub

View File

@ -14,15 +14,10 @@ spotbugs{
toolVersion = '4.0.0-RC1' toolVersion = '4.0.0-RC1'
} }
tasks.withType(SpotBugsTask) {
tasks.withType(com.github.spotbugs.SpotBugsTask) {
reports { reports {
html { xml.enabled = false
enabled = true html.enabled = true
}
xml {
enabled = false
}
} }
} }