Skip to content
GitLab
Explore
Sign in
HZDR Services and some fixes of old services
Code
Review changes
Check out branch
Download
Patches
Plain diff
Uwe Jandt (DESY, HIFIS)
requested to merge
update-pilot-services
into
master
Sep 22, 2020
Overview
0
Commits
7
Pipelines
4
Changes
1
Expand
Added HZDR services and updated the old ones.
Link to Artifact
relates to
#16 (closed)
Edited
Sep 22, 2020
by
Uwe Jandt (DESY, HIFIS)
Merge request reports
Loading