From 680a57ce921f6d8c8752fa27aad6c95865fe8127 Mon Sep 17 00:00:00 2001
From: GiteaBot <teabot@gitea.io>
Date: Tue, 5 Feb 2019 11:40:36 +0000
Subject: [PATCH] [skip ci] Updated translations via Crowdin

---
 options/locale/locale_de-DE.ini | 1 +
 options/locale/locale_fr-FR.ini | 1 +
 2 files changed, 2 insertions(+)

diff --git a/options/locale/locale_de-DE.ini b/options/locale/locale_de-DE.ini
index bd4b86b8d2..18db28917b 100644
--- a/options/locale/locale_de-DE.ini
+++ b/options/locale/locale_de-DE.ini
@@ -419,6 +419,7 @@ ssh_helper=<strong>Brauchst du Hilfe?</strong> Hier ist GitHubs Anleitung zum <a
 gpg_helper=<strong>Brauchst du Hilfe?</strong> Hier ist GitHubs Anleitung <a href="%s">über GPG</a>.
 add_new_key=SSH-Schlüssel hinzufügen
 add_new_gpg_key=GPG-Schlüssel hinzufügen
+ssh_key_been_used=Dieser SSH-Key wird auf diesem Server bereits verwendet.
 ssh_key_name_used=Ein gleichnamiger SSH-Key existiert bereits in deinem Account.
 gpg_key_id_used=Ein öffentlicher GPG-Schlüssel mit der gleichen ID existiert bereits.
 gpg_no_key_email_found=Dieser GPG-Schlüssel kann mit keiner E-Mail-Adresse deines Kontos verwendet werden.
diff --git a/options/locale/locale_fr-FR.ini b/options/locale/locale_fr-FR.ini
index 016dbabe90..ce0ff141d6 100644
--- a/options/locale/locale_fr-FR.ini
+++ b/options/locale/locale_fr-FR.ini
@@ -419,6 +419,7 @@ ssh_helper=<strong>Besoin d'aide ?</strong> Consultez le guide Github pour <a hr
 gpg_helper=<strong>Besoin d'aide ?</strong> Consultez le guide Github à propos de <a href="%s">GPG</a>.
 add_new_key=Ajouter une clé SSH
 add_new_gpg_key=Ajouter une clé GPG
+ssh_key_been_used=Cette clef SSH a déjà été ajoutée au serveur.
 ssh_key_name_used=Une clef SSH du même nom est déjà associée à votre compte.
 gpg_key_id_used=Une clef GPG publique avec le même identifiant existe déjà.
 gpg_no_key_email_found=Cette clef GPG n'est utilisable avec aucune adresse e-mail associée à ce compte.