merge master

This commit is contained in:
Karol
2019-12-03 17:55:58 +01:00
26 changed files with 3405 additions and 1620 deletions

View File

@@ -398,6 +398,7 @@ en:
implement: Implement
test_files: Test Files
feedback: Feedback
requests_for_comments: Requests for Comments
study_group_dashboard: Live Dashboard
show:
is_unpublished: Exercise is unpublished