This repository has been archived on 2025-01-01. You can view files and clone it, but cannot push or open issues or pull requests.

PMKuipers f8b61d7afd Namespace fix		2023-06-26 13:00:21 +02:00
..
aggregators	Implemented group completion stats for all situations	2023-06-16 23:12:17 +02:00
helpers	Namespace fix	2023-06-26 13:00:21 +02:00
ungradedscanners	Loading recovered files from server crash	2023-05-17 21:19:14 +02:00
gradegenerator.php	Plans are imported in correct context now	2023-05-19 16:45:15 +02:00