diff options
author | GiteaBot <teabot@gitea.io> | 2025-02-17 00:33:47 +0000 |
---|---|---|
committer | GiteaBot <teabot@gitea.io> | 2025-02-17 00:33:47 +0000 |
commit | 50a5d6bf5d57c0990896c8cc876fc96647608077 (patch) | |
tree | 6fa209b8cf8fe39ea4f6e2d7b6ad50e1a32494a6 /options/locale | |
parent | 3bbacac62c23497cd20be1207912090fcf76c829 (diff) | |
download | gitea-50a5d6bf5d57c0990896c8cc876fc96647608077.tar.gz gitea-50a5d6bf5d57c0990896c8cc876fc96647608077.zip |
[skip ci] Updated translations via Crowdin
Diffstat (limited to 'options/locale')
-rw-r--r-- | options/locale/locale_fr-FR.ini | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/options/locale/locale_fr-FR.ini b/options/locale/locale_fr-FR.ini index df141aabc8..9d652fabad 100644 --- a/options/locale/locale_fr-FR.ini +++ b/options/locale/locale_fr-FR.ini @@ -385,6 +385,12 @@ show_only_public=Afficher uniquement les dépôts publics issues.in_your_repos=Dans vos dépôts +guide_title=Aucune activité +guide_desc=Vous n’êtes actuellement abonné à aucun dépôt ou utilisateur et il n’y a donc aucun contenu à afficher. Les liens ci-dessous vous permettront d’explorer des dépôts ou des utilisateurs susceptibles de vous intéresser. +explore_repos=Explorer des dépôts +explore_users=Explorer des utilisateurs +empty_org=Il n’y a pas encore d’organisations. +empty_repo=Il n’y a pas encore de dépôts. [explore] repos=Dépôts @@ -2331,6 +2337,8 @@ settings.event_fork=Bifurcation settings.event_fork_desc=Dépôt bifurqué. settings.event_wiki=Wiki settings.event_wiki_desc=Page wiki créée, renommée, modifiée ou supprimée. +settings.event_statuses=Statuts +settings.event_statuses_desc=Statut de validation mis à jour depuis l’API. settings.event_release=Publication settings.event_release_desc=Publication publiée, mise à jour ou supprimée. settings.event_push=Soumission @@ -2878,6 +2886,14 @@ view_as_role=Voir en tant que %s view_as_public_hint=Vous visualisez le README en tant qu’utilisateur public. view_as_member_hint=Vous visualisez le README en tant que membre de cette organisation. +worktime=Temps de travail +worktime.date_range_start=Date de début +worktime.date_range_end=Date de fin +worktime.query=Demande +worktime.time=Durée +worktime.by_repositories=Par dépôts +worktime.by_milestones=Par jalons +worktime.by_members=Par membres [admin] maintenance=Maintenance |