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.

SJost a507c0884f intermediate		2018-12-19 12:42:00 +01:00
..
Migration	Fix some hlint	2018-11-02 00:25:44 +01:00
Types	Cleanup fuzzy pseudonym handling	2018-11-26 17:24:19 +01:00
Migration.hs	Fix #243	2018-11-30 21:53:17 +01:00
Rating.hs	Neue Statistik nun auch für Blattübersicht	2018-11-30 17:45:27 +01:00
Submission.hs	Error Handling für SinkSubmission	2018-12-12 12:05:22 +01:00
Types.hs	intermediate	2018-12-19 12:42:00 +01:00