Skip to content
GitLab
Explore
Sign in
Register
ogs
OpenGeoSys Tools
ogstools
Merge requests
!97
Tiny fix
Code
Review changes
Check out branch
Download
Patches
Plain diff
Julian Heinze
requested to merge
heinzej/ogstools:tiny_fix
into
main
Dec 04, 2023
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
really tiny fix: remove one word, due to doubling
Merge request reports