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 fe8e4bbd4f feat(corrections-r): json export		2021-08-18 19:00:12 +02:00
..
Migration	feat(schools): more school-wide configuration authorship statements	2021-07-18 00:16:26 +02:00
Tokens
Types	feat(corrections-r): json export	2021-08-18 19:00:12 +02:00
Migration.hs
Rating.hs
Submission.hs	Merge branch 'master' into course-teaser	2019-07-03 11:59:02 +02:00
Tokens.hs
Types.hs	chore: support storing chunks in minio	2021-06-27 10:51:58 +02:00