fix exercise_file duplication bug

This commit is contained in:
Karol
2019-10-07 18:50:07 +02:00
parent 49d438cef8
commit 6a296cbe65
5 changed files with 19 additions and 11 deletions

View File

@@ -317,9 +317,11 @@ en:
editor_file_tree:
file_root: Files
export_codeharbor:
check:
no_exercise: No exercise found
fail: Failed to push the exercise to CodeHarbor.
label: Export to Codeharbor
success: Successfully pushed the exercise to CodeHarbor.
fail: Failed to push the exercise to CodeHarbor.
file_form:
hints:
feedback_message: This message is used as a hint for failing tests.