diff options
| author | 2019-01-26 16:03:29 +0100 | |
|---|---|---|
| committer | 2019-01-26 16:03:29 +0100 | |
| commit | 8dcdde6251ae4dfc690b1a014488df125c5e5cdc (patch) | |
| tree | f5762ac9c76acf708a50534f081e558489ccad86 /app/i18n/fr/sub.php | |
| parent | f0a359619fa2936d66a2b96dd086d4686e7405fa (diff) | |
| parent | 38e8e265e0f2ead830aa12e7ef81de12599405b5 (diff) | |
Merge pull request #2220 from FreshRSS/dev1.13.1
FreshRSS 1.13.1
Diffstat (limited to 'app/i18n/fr/sub.php')
| -rw-r--r-- | app/i18n/fr/sub.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/i18n/fr/sub.php b/app/i18n/fr/sub.php index 6cb31414d..d9964ac6e 100644 --- a/app/i18n/fr/sub.php +++ b/app/i18n/fr/sub.php @@ -72,6 +72,7 @@ return array( 'export' => 'Exporter', 'export_opml' => 'Exporter la liste des flux (OPML)', 'export_starred' => 'Exporter les favoris', + 'export_labelled' => 'Exporter les articles étiquetés', 'feed_list' => 'Liste des articles de %s', 'file_to_import' => 'Fichier à importer<br />(OPML, JSON ou ZIP)', 'file_to_import_no_zip' => 'Fichier à importer<br />(OPML ou JSON)', |
