Livio Bieri e3f8e4556f chore: remove feedback_user ... removed in favor of just using the course-level configuration.		2024-02-29 13:57:00 +01:00
..
queries.py	Format code	2023-10-14 02:09:30 +02:00
types.py	chore: remove feedback_user	2024-02-29 13:57:00 +01:00