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.

Steffen 0fde59c19a chore(profile): show user courses among enrolled course type list ... (Recall: course = tutorial, course type = course)		2024-07-31 17:51:13 +02:00
..
Persist/Sql/Types	chore: conform to REUSE specification	2022-10-12 09:35:16 +02:00
Fill.hs	chore(profile): show user courses among enrolled course type list	2024-07-31 17:51:13 +02:00