extended execution environments by a default file type that is used as the default for associated exercises' files

2015-03-10 18:14:26 +01:00
parent 039c891364
commit 3ae749bfc5
12 changed files with 37 additions and 5 deletions
--- a/config/locales/en.yml
+++ b/config/locales/en.yml
@@ -10,6 +10,8 @@ en:
      execution_environment:
        docker_image: Docker Image
        exposed_ports: Exposed Ports
+        file_type: Default File Type
+        file_type_id: Default File Type
        help: Help Text
        name: Name
        permitted_execution_time: Permitted Execution Time (in Seconds)