Skip to content

add links to gitlab repo

Tobias Koelling requested to merge gitlab_links into main

We are receiving the first messages from people complaining about missing date and room of the lecture. It would be great if we can motivate people to open issues in this repo if those are found in the lecture materials. To facilitate that, I'd add links from the website into this repository.

Edited by Tobias Koelling

Merge request reports