diff options
author | Mohamed Zenadi <mohamed@zenadi.com> | 2015-04-19 20:27:30 +0200 |
---|---|---|
committer | Mohamed Zenadi <mohamed@zenadi.com> | 2015-04-19 20:27:30 +0200 |
commit | 771d8a9415831b5d6fe9cebf574fbf7e5eacd373 (patch) | |
tree | 3c74a84dce73e1e19b93839b803f509feabe36df /app/src/main/res/values/strings.xml | |
parent | 6983ef4f82a85cae1e7f83638ce2f5ec37e96ef0 (diff) |
Add a Sync command that calls Pull then Push
Fixes #78
Diffstat (limited to 'app/src/main/res/values/strings.xml')
-rw-r--r-- | app/src/main/res/values/strings.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/app/src/main/res/values/strings.xml b/app/src/main/res/values/strings.xml index 8cf8d140..b6793849 100644 --- a/app/src/main/res/values/strings.xml +++ b/app/src/main/res/values/strings.xml @@ -122,5 +122,8 @@ <string name="dialog_negative">Nah... later</string> <string name="dialog_oops">Oops...</string> <string name="dialog_cancel">Cancel</string> + <string name="git_sync">Syncronize repository</string> + <string name="git_pull">Pull from remote</string> + <string name="git_push">Push to remote</string> </resources> |