diff options
| author | Marko Pušnik <marko.pusnik@guru.si> | 2015-09-30 19:07:37 +0200 |
|---|---|---|
| committer | Marko Pušnik <marko.pusnik@guru.si> | 2015-09-30 19:07:37 +0200 |
| commit | 8bb68a1e979022ead00535c25403b341f2cb24bb (patch) | |
| tree | 0ad16cf9acb81cbb6f8484f32fed657e8c66dabb /res/en.json | |
| parent | ba6135a83273c625097fe7cdb59319a51acca31e (diff) | |
| parent | 0da1117cfc28688633be7b8382aa60435bf740eb (diff) | |
Merge branch 'master' of odie.guru.si:codeq-web
Conflicts:
index.html
Diffstat (limited to 'res/en.json')
| -rw-r--r-- | res/en.json | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/res/en.json b/res/en.json new file mode 100644 index 0000000..5330cdc --- /dev/null +++ b/res/en.json @@ -0,0 +1,15 @@ +{ + "language": "Language", + "problem": "Problem", + "python": "Python", + "prolog": "Prolog", + "robot": "Robot", + "logout": "Logout", + "profile": "Profile", + "change_pass": "Change password", + "btn_plan": "Plan", + "btn_hint": "Hint", + "btn_test": "Test", + "btn_run": "Run", + "btn_stop": "Stop" +}
\ No newline at end of file |