Skip to content
GitLab
Explore
Sign in
Vladyslav Kucher
pps-benchmarks
Merge requests
!15
Adjust URLs in build script after repo move
Code
Review changes
Check out branch
Download
Patches
Plain diff
Dr. Jorrit Fahlke
requested to merge
follow-repo-move
into
master
Aug 01, 2019
Overview
3
Commits
3
Pipelines
3
Changes
2
Expand
The old URLS seem to continue to work, but still...
Addresses:
pacxx-projectseminar-2019#93 (closed)
Merge request reports