u2w-merge #192

Merged
savau merged 344 commits from u2w-merge into master 2022-09-02 18:00:29 +02:00
Showing only changes of commit fc8dd7ad20 - Show all commits

View File

@ -202,7 +202,7 @@ $newline text
Such submissions will be accounted for in the next distribution of
submissions according to the corrector's correction proportions.
<dt .deflist__dt #correction-files> Correction Files
<dt .deflist__dt #correction-files> Correction files
<dd .deflist__dd>
<p>
Assigned correctors and course administrators can download submissions or collections thereof as ZIP archives.