Merge branch 'master' into html-gruppe
This commit is contained in:
@ -10,7 +10,6 @@ plugins {
|
|||||||
spotbugs{
|
spotbugs{
|
||||||
ignoreFailures = true
|
ignoreFailures = true
|
||||||
effort = "max"
|
effort = "max"
|
||||||
reportLevel = "high"
|
|
||||||
toolVersion = '4.0.0-RC1'
|
toolVersion = '4.0.0-RC1'
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user