Skip to content
GitLab
Explore
Sign in
HIFIS
Overall
hifis.net
Merge requests
!82
General fixes
Code
Review changes
Check out branch
Download
Patches
Plain diff
Huste, Tobias
requested to merge
fixes
into
master
Sep 16, 2020
Overview
0
Commits
3
Pipelines
1
Changes
4
Expand
Remove HZDR imprint and privacy
fix sitename in metadata
fix clone instructions in Readme
Merge request reports