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 62dd7b9f04 fix(rating-files): support integral points values ... Fixes #604		2020-06-24 14:01:52 +02:00
..
Table
RatingSpec.hs	fix(rating-files): support integral points values	2020-06-24 14:01:52 +02:00
SchoolLdapSpec.hs
SubmissionSpec.hs
ZipSpec.hs