Skip to content
GitLab
Explore
Sign in
HIFIS
Overall
HIFIS Technical Documentation
Merge requests
!385
Pipfile/Pipfile.lock: adapt to master where appropriate
Code
Review changes
Check out branch
Download
Patches
Plain diff
Uwe Jandt (DESY, HIFIS)
requested to merge
python3-11-patch
into
python3-11
Mar 30, 2023
Overview
0
Commits
29
Pipelines
2
Changes
137
Expand
adapt pipfile (and
.lock
) to master where appropriate...to solve merge requests.
set kroki back to 0.30 since that was the last working version ... resolve or remove afterwards.
Merge request reports