diff options
| author | Harsh Shandilya <msfjarvis@gmail.com> | 2020-05-03 01:39:16 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-03 01:39:16 +0530 |
| commit | 69e887f3d8602438389161449bdff4539c67c72e (patch) | |
| tree | 79a5c235d98fbd66e9362cff7ca0719fbe3385b4 /app/src/main/res/values | |
| parent | ced8bcca01dc2545edc3ef17e0cd44922dd97e61 (diff) | |
Better handle non-git repositories (#756)
Diffstat (limited to 'app/src/main/res/values')
| -rw-r--r-- | app/src/main/res/values/strings.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/src/main/res/values/strings.xml b/app/src/main/res/values/strings.xml index 79fda215..5d77ad6a 100644 --- a/app/src/main/res/values/strings.xml +++ b/app/src/main/res/values/strings.xml @@ -131,7 +131,7 @@ <string name="dialog_update_check">Remember my choice</string> <!-- Preferences --> - <string name="pref_git_title">Git</string> + <string name="pref_repository_title">Repository</string> <string name="pref_edit_server_info">Edit git server settings</string> <string name="pref_edit_git_config">Git utils</string> <string name="pref_ssh_title">Import SSH key</string> |