diff --git a/options/locale/locale_fr-FR.ini b/options/locale/locale_fr-FR.ini index 02d62660b2..659615e6ff 100644 --- a/options/locale/locale_fr-FR.ini +++ b/options/locale/locale_fr-FR.ini @@ -3756,3 +3756,9 @@ component_loading = Chargement %s... component_loading_failed = Échec de chargement de %s code_frequency.what = fŕequence de code recent_commits.what = commits récents + + +[search] +search = Rechercher... +type_tooltip = Type de recherche +fuzzy = Approximatif \ No newline at end of file