Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
giscience
big-data
ohsome
parent
Merge requests
!15
Merged
Created
Feb 22, 2021
by
Johannes Visintini
@johannes
Owner
Options
Fix maven profiles
Overview
2
Commits
2
Changes
4
removed withDeps profile from Jenkinsfile (only necessary for oshdb-core build)
added git profile
please merge after
!14 (merged)