This repository has been archived on 2024-10-24. You can view files and clone it, but cannot push or open issues or pull requests.

Gregor Kleen 104ab8f994 Merge branch 'master' into 155-zentralanmeldungen		2019-08-22 15:29:07 +02:00
..
Migration	feat(audit): introduce id-based format	2019-08-06 09:51:05 +02:00
Types	Merge branch 'master' into 155-zentralanmeldungen	2019-08-22 15:29:07 +02:00
Migration.hs	feat(allocations): implement application interface	2019-08-19 14:54:03 +02:00
Rating.hs	fix(ratings): disallow ratings for graded sheets without point value	2019-07-10 09:23:22 +02:00
Submission.hs	Overhaul SubmissonMode extensively	2019-05-18 22:51:07 +02:00
Tokens.hs	Cleanup & (maybe|require)BearerToken	2019-04-17 11:35:27 +02:00
Types.hs	Aggressively refactor Model.Types	2019-05-27 14:23:58 +02:00