diff options
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", |