Files
codeocean/db/migrate
Sebastian Serth ad467fa58f Distinguish between intermediate and final feedback
* Also add more information to user_exercise_feedback
* Migrate existing feedback to enrich with submissions
2020-10-20 13:50:04 +02:00
..