From 42c97924ecc6173d065eaf5baf618fa917d4a070 Mon Sep 17 00:00:00 2001 From: Sarah Vaupel Date: Sun, 11 Feb 2024 17:41:22 +0100 Subject: [PATCH] chore: remove debris --- src/Utils/Lens.hs | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/Utils/Lens.hs b/src/Utils/Lens.hs index 5e5f993c6..4c00b0231 100644 --- a/src/Utils/Lens.hs +++ b/src/Utils/Lens.hs @@ -260,8 +260,6 @@ makeLenses_ ''ExamOccurrence makeLenses_ ''ExamOfficeLabel -makePrisms ''AuthenticationMode - makeLenses_ ''CourseUserNote makeLenses_ ''CourseParticipant