diff options
| author | Robert Zorko <robertz@gurucue.com> | 2015-10-16 11:28:10 +0200 |
|---|---|---|
| committer | Robert Zorko <robertz@gurucue.com> | 2015-10-16 11:28:10 +0200 |
| commit | 8bee58b97d92b476b114c9af4c70b7a43172ad8e (patch) | |
| tree | e73e6d8337b91675b5151267c3ee9ef28d6aba4a /res/en.json | |
| parent | dbbaa4c1598601d1ef137af56d63c85761ea3373 (diff) | |
| parent | 3fa8787e93ddb751c92412662db578aad841f120 (diff) | |
Merge branch 'master' into layout
Diffstat (limited to 'res/en.json')
| -rw-r--r-- | res/en.json | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/res/en.json b/res/en.json index c721548..bde0a98 100644 --- a/res/en.json +++ b/res/en.json @@ -1,6 +1,9 @@ { "language": "Language", + "ui_language_title": "Select the UI language.", "robot_address": "Robot’s IP address", + "robot_address_placeholder": "IP address", + "robot_address_title": "Set the robot's IPv4 or IPv6 address.", "problem_list": "Problems", "python": "Python", "prolog": "Prolog", |