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 0ab7bbd7eb Merge branch 'feat/assign-correctors' into feat/pagination		2018-06-29 11:53:16 +02:00
..
Common.hs	Minor. Puny attempts to resuse corrections table in several ways.	2018-06-22 18:31:47 +02:00
DB.hs	Favourites updated immediately now; Links for Lecturers are shown	2018-06-27 13:15:17 +02:00
Lens.hs	datatype Load refactored as discussed	2018-05-04 18:12:54 +02:00