diff options
| author | Fabian Henneke <FabianHenneke@users.noreply.github.com> | 2020-08-11 18:11:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-11 18:11:39 +0200 |
| commit | 15aa92980239d6d61c3b0febc0407b7f63e152b3 (patch) | |
| tree | 92b25ea3bca41e37fe4727bab82665b04ee8206e /app/src/main/res/values-fr | |
| parent | 8f957ca99454efe1711e2424620d2632bed6cb63 (diff) | |
Switch to URL-based Git config and refactor Git settings (#1008)
* Make Git config URL-based and refactor
* Use Kotlin style null handling for string prefs
* Also show an error if generated URL can't be parsed
* Add some testcases for migration strategy
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
Co-authored-by: Harsh Shandilya <me@msfjarvis.dev>
Diffstat (limited to 'app/src/main/res/values-fr')
| -rw-r--r-- | app/src/main/res/values-fr/strings.xml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/app/src/main/res/values-fr/strings.xml b/app/src/main/res/values-fr/strings.xml index 19fbdb33..9f9e1768 100644 --- a/app/src/main/res/values-fr/strings.xml +++ b/app/src/main/res/values-fr/strings.xml @@ -60,10 +60,6 @@ <string name="server_name">Serveur</string> <string name="server_protocol">Protocole</string> - <string name="server_url">URL du serveur</string> - <string name="server_port_hint">22</string> - <string name="server_path">Chemin du dépôt</string> - <string name="server_user">Nom d\'utilisateur</string> <string name="connection_mode">Méthode d\'authentification</string> |