Skip to content

Fix maven profiles

Johannes Visintini requested to merge fix-maven-profiles into master
  • removed withDeps profile from Jenkinsfile (only necessary for oshdb-core build)
  • added git profile

please merge after !14 (merged)

Merge request reports