chore: remove debris

This commit is contained in:
Sarah Vaupel 2024-02-11 17:41:22 +01:00
parent 29fc201294
commit 42c97924ec

View File

@ -260,8 +260,6 @@ makeLenses_ ''ExamOccurrence
makeLenses_ ''ExamOfficeLabel
makePrisms ''AuthenticationMode
makeLenses_ ''CourseUserNote
makeLenses_ ''CourseParticipant