diff options
| author | zeapo <mohamed@zenadi.com> | 2014-12-04 21:43:27 +0100 |
|---|---|---|
| committer | zeapo <mohamed@zenadi.com> | 2014-12-04 21:43:27 +0100 |
| commit | d98a30ee4828eff9b1b8c28ca917322b502ac08c (patch) | |
| tree | c72d9cbd2de773579498af1c287ed87c577edbe6 /app/src/main/res/values/strings.xml | |
| parent | 173248e1bb96fd971027ac8a36fdc7e12825fe23 (diff) | |
Add the possibility to edit git server information
Also uses jgit 3.6
Diffstat (limited to 'app/src/main/res/values/strings.xml')
| -rw-r--r-- | app/src/main/res/values/strings.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/app/src/main/res/values/strings.xml b/app/src/main/res/values/strings.xml index 05b8bbd4..5f0db2a8 100644 --- a/app/src/main/res/values/strings.xml +++ b/app/src/main/res/values/strings.xml @@ -93,7 +93,8 @@ <string name="pref_remote_hint">path/to/repository</string> <string name="pref_git_username_title">Username</string> <string name="pref_git_username_hint">username</string> - <string name="pref_ssh_title">SSH Key</string> + <string name="pref_edit_server_info">Edit git server settings</string> + <string name="pref_ssh_title">Import ssh-key</string> <string name="pref_crypto_title">Crypto</string> <string name="pref_provider_title">Select OpenPGP Provider!</string> <string name="pref_provider_account_title">Set your OpenPGP account</string> |