1

Merge branch 'master' into swagger-api

This commit is contained in:
killerber4t
2020-03-04 14:09:43 +01:00
committed by GitHub
5 changed files with 53 additions and 3 deletions

View File

@ -15,7 +15,7 @@ spotbugs{
}
tasks.withType(SpotBugsTask) {
tasks.withType(com.github.spotbugs.SpotBugsTask) {
reports {
html {
enabled = true
@ -47,6 +47,12 @@ configurations {
}
repositories {
maven {
url = 'https://s3.cs.hhu.de/public/mops/'
metadataSources {
artifact()
}
}
mavenCentral()
}