Skip to content
GitLab
Explore
Sign in
Petr Sojka
PB029 Web
Merge requests
!10
Update names of course instructors
Code
Review changes
Check out branch
Download
Patches
Plain diff
Vít Starý Novotný
requested to merge
fix/course-instructor-names
into
main
Sep 11, 2023
Overview
0
Commits
1
Pipelines
1
Changes
9
Expand
This merge request updates the names of course instructors in fall 2023.
Merge request reports