From a8832e12272755230ce540bd3bf1a200b1643d45 Mon Sep 17 00:00:00 2001 From: GiteaBot Date: Tue, 14 Nov 2017 23:40:26 +0000 Subject: [skip ci] Updated translations via Crowdin --- options/locale/locale_fr-FR.ini | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'options/locale/locale_fr-FR.ini') diff --git a/options/locale/locale_fr-FR.ini b/options/locale/locale_fr-FR.ini index efb73d75cc..f2ff1f3f27 100644 --- a/options/locale/locale_fr-FR.ini +++ b/options/locale/locale_fr-FR.ini @@ -627,6 +627,8 @@ issues.label_templates.info=Il n'y a pas encore d'étiquettes. Vous pouvez cliqu issues.label_templates.helper=Sélectionnez un ensemble d'étiquettes issues.label_templates.use=Utiliser ce jeu d'étiquettes issues.label_templates.fail_to_load_file=Impossible de charger le fichier de modèle étiquette '%s' : %v +issues.add_label_at=« enlevé la
%s
étiquette %s » +issues.remove_label_at=« enlevé la
%s
étiquette %s » issues.add_milestone_at=`a ajouté cela au jalon %s %s` issues.change_milestone_at=`a modifié le jalon de %s à %s %s` issues.remove_milestone_at=`a supprimé cela du jalon %s %s` @@ -847,6 +849,8 @@ activity.title.releases_published_by=%s publiée par %s activity.published_release_label=Publiée search=Chercher +search.search_repo=Rechercher dans le dépôt +search.results=Résulats de la recherche « %s » dans %s settings=Paramètres settings.desc=Les paramètres sont l'endroit où gérer les options du dépôt -- cgit v1.2.3