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-fr | |
| parent | ced8bcca01dc2545edc3ef17e0cd44922dd97e61 (diff) | |
Better handle non-git repositories (#756)
Diffstat (limited to 'app/src/main/res/values-fr')
| -rw-r--r-- | app/src/main/res/values-fr/strings.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/app/src/main/res/values-fr/strings.xml b/app/src/main/res/values-fr/strings.xml index e8a70667..3dad40e9 100644 --- a/app/src/main/res/values-fr/strings.xml +++ b/app/src/main/res/values-fr/strings.xml @@ -109,7 +109,6 @@ <string name="dialog_update_check">Se souvenir de mon choix</string> <!-- Preferences --> - <string name="pref_git_title">Git</string> <string name="pref_edit_server_info">Editer les paramètres du serveur Git</string> <string name="pref_edit_git_config">Éditer la configuration</string> <string name="pref_ssh_title">Importer une clef SSH</string> |