Skip to content
GitLab
Explore
Sign in
Fixed mixed types of band names. Updated version info.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Daniel Scheffler
requested to merge
bugfix/fix_bandname_types
into
master
Oct 10, 2019
Overview
0
Commits
1
Pipelines
1
Changes
3
Expand
Signed-off-by: Daniel Scheffler
danschef@gfz-potsdam.de
Merge request reports