u2w-merge #192

Merged
savau merged 344 commits from u2w-merge into master 2022-09-02 18:00:29 +02:00
2 changed files with 10 additions and 8 deletions
Showing only changes of commit 14c2f6d82d - Show all commits

View File

@ -18,14 +18,13 @@ type Points = Centi
type Email = Text
type UserTitle = Text
type UserFirstName = Text
type UserSurname = Text
type UserDisplayName = Text
type UserIdent = CI Text
type UserMatriculation = Text
type UserEmail = CI Email
type UserEduPersonPrincipalName = CI Email
type UserTitle = Text
type UserFirstName = Text
type UserSurname = Text
type UserDisplayName = Text
type UserIdent = CI Text
type UserMatriculation = Text
type UserEmail = CI Email
type StudyDegreeName = Text
type StudyDegreeShorthand = Text

View File

@ -4,6 +4,9 @@ import Import.NoModel
import Model.Types.TH.PathPiece
type UserEduPersonPrincipalName = CI Text
data SystemFunction
= SystemExamOffice
| SystemFaculty