diff options
author | Marko Pušnik <marko.pusnik@guru.si> | 2015-10-16 15:34:09 +0200 |
---|---|---|
committer | Marko Pušnik <marko.pusnik@guru.si> | 2015-10-16 15:34:09 +0200 |
commit | a630def321ae4f77156d3e95ec40516c1093e7aa (patch) | |
tree | 09c1f5dd67b4b5abf07f4647df16f8d57409b24b /res/en.json | |
parent | fe9a64861dcafadf4b1d34a4f782ff7f064f9984 (diff) |
beautifications and translations of settings page
Diffstat (limited to 'res/en.json')
-rw-r--r-- | res/en.json | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/res/en.json b/res/en.json index bde0a98..2a87203 100644 --- a/res/en.json +++ b/res/en.json @@ -4,7 +4,9 @@ "robot_address": "Robot’s IP address", "robot_address_placeholder": "IP address", "robot_address_title": "Set the robot's IPv4 or IPv6 address.", + "settings": "User settings", "problem_list": "Problems", + "save": "Save", "python": "Python", "prolog": "Prolog", "robot": "Robot", |