diff options
Diffstat (limited to 'src/i18n/locales/fr.json')
-rw-r--r-- | src/i18n/locales/fr.json | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/i18n/locales/fr.json b/src/i18n/locales/fr.json index b1b9c13d7..10de582c3 100644 --- a/src/i18n/locales/fr.json +++ b/src/i18n/locales/fr.json | |||
@@ -1,9 +1,12 @@ | |||
1 | { | 1 | { |
2 | "app.errorHandler.action": "Actualiser", | 2 | "app.errorHandler.action": "Actualiser", |
3 | "app.errorHandler.headline": "On dirait que quelque chose ne va pas", | 3 | "app.errorHandler.headline": "On dirait que quelque chose ne va pas", |
4 | "changeserver.customServerLabel": "Serveur personnalisé", | ||
4 | "changeserver.headline": "Changer de serveur", | 5 | "changeserver.headline": "Changer de serveur", |
5 | "changeserver.label": "Serveur", | 6 | "changeserver.label": "Serveur", |
6 | "changeserver.submit": "Soumettre", | 7 | "changeserver.submit": "Soumettre", |
8 | "changeserver.urlError": "Enter a valid URL", | ||
9 | "changeserver.warning": "Extra settings offered by Ferdi will not be saved", | ||
7 | "connectionLostBanner.cta": "Redémarrer le service", | 10 | "connectionLostBanner.cta": "Redémarrer le service", |
8 | "connectionLostBanner.informationLink": "Que s'est-il passé?", | 11 | "connectionLostBanner.informationLink": "Que s'est-il passé?", |
9 | "connectionLostBanner.message": "Oh non ! Ferdi a perdu la connexion avec {name}.", | 12 | "connectionLostBanner.message": "Oh non ! Ferdi a perdu la connexion avec {name}.", |
@@ -525,4 +528,4 @@ | |||
525 | "workspaceDrawer.workspaceFeatureInfo": "<p>Les Espaces de travail de Ferdi vous permettant de rester concentré sur ce qui est important. Créez différents groupes de services et naviguez facilement entre eux à n'importe quel moment.</p><p>Vous décidez de quels services vous avez besoin, où et quand, ainsi nous pouvons vous aider à rester concentré sur votre travail - ou à le quitter dès que vous le souhaitez.</p>", | 528 | "workspaceDrawer.workspaceFeatureInfo": "<p>Les Espaces de travail de Ferdi vous permettant de rester concentré sur ce qui est important. Créez différents groupes de services et naviguez facilement entre eux à n'importe quel moment.</p><p>Vous décidez de quels services vous avez besoin, où et quand, ainsi nous pouvons vous aider à rester concentré sur votre travail - ou à le quitter dès que vous le souhaitez.</p>", |
526 | "workspaceDrawer.workspacesSettingsTooltip": "Éditer les paramètres de l'espace de travail", | 529 | "workspaceDrawer.workspacesSettingsTooltip": "Éditer les paramètres de l'espace de travail", |
527 | "workspaces.switchingIndicator.switchingTo": "Changement vers" | 530 | "workspaces.switchingIndicator.switchingTo": "Changement vers" |
528 | } | 531 | } \ No newline at end of file |