Merge branch '368-terminimport-von-rwth-online' into 'master'
Resolve "Terminimport von RWTH Online" Closes #368 See merge request !16
Please register or sign in to comment
Resolve "Terminimport von RWTH Online" Closes #368 See merge request !16