Skip to content

Adjust URLs in build script after repo move

Dr. Jorrit Fahlke requested to merge follow-repo-move into master

The old URLS seem to continue to work, but still...

Addresses: pacxx-projectseminar-2019#93 (closed)

Merge request reports