Skip to content
GitLab

Fix maven profiles

Merged 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)