Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Open Subsurface Data Universe Software
Platform
System
Partition
Merge requests
!99
Update pom.xml
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Krishna Nikhil Vedurumudi
requested to merge
remove-redundant-profiles
into
master
Oct 06, 2021
Overview
0
Commits
2
Pipelines
4
Changes
2
Pom file clean up to have it consistent with other services.
Edited
Oct 07, 2021
by
Krishna Nikhil Vedurumudi