Merge branch 'master' into feat/nonCourseShorts

This commit is contained in:
SJost 2018-08-29 09:47:31 +02:00
commit 1fda2f2874

2
models
View File

@ -116,7 +116,7 @@ SheetCorrector
user UserId
sheet SheetId
load Load
state CorrectorState default='Normal'
state CorrectorState default='CorrectorNormal'
UniqueSheetCorrector user sheet
deriving Show Eq Ord
SheetFile