Merge branch 'master' of github.com:openHPI/codeocean

This commit is contained in:
Felix Wolff
2015-07-16 15:10:59 +02:00
46 changed files with 569 additions and 133 deletions

View File

@@ -166,6 +166,7 @@ en:
confirm_start_over: Do you really want to start over?
confirm_submit: Do you really want to submit your code for grading?
create_file: New File
depleted: All execution environments are busy. Please try again later.
destroy_file: Delete File
download: Download
dummy: No Action