summaryrefslogtreecommitdiff
path: root/res/en.json
diff options
context:
space:
mode:
authorMarko Pušnik <marko.pusnik@guru.si>2015-11-06 15:21:49 +0100
committerMarko Pušnik <marko.pusnik@guru.si>2015-11-06 15:21:49 +0100
commitf3a3a8de8199da0910ba654f35b57fbbdf91a985 (patch)
tree986cf01d0161e2e609433339f33e1e45b91b1c0a /res/en.json
parentb81864469dc5f72c87f2765f82f28101c9bcf34c (diff)
parentcd556ebfc2beee90f92c5a0ff973888458beed46 (diff)
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web
Diffstat (limited to 'res/en.json')
-rw-r--r--res/en.json4
1 files changed, 4 insertions, 0 deletions
diff --git a/res/en.json b/res/en.json
index a14b522..2f65bab 100644
--- a/res/en.json
+++ b/res/en.json
@@ -19,6 +19,10 @@
"btn_run": "Run",
"btn_stop": "Stop",
"btn_more": "More...",
+ "instructions": "Instructions",
+ "hints": "Hints",
+ "code": "Code",
+ "console": "Console",
"signin_header": "Please sign in",
"signin_via": "Login via",
"signin_or": "or",