diff options
| author | Julian Andres Klode <jak@debian.org> | 2019-12-02 15:21:12 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2019-12-02 15:21:12 +0000 |
| commit | 878861d35c8a97823b7cecc7e47d6850a5394d8b (patch) | |
| tree | 0d7fc96ec847221206cd2f66a10badea0a9a1292 | |
| parent | b59be3af284d13988182d99fcd2ab5948a0f6a83 (diff) | |
| parent | d248e77c0c5cd01997ee09cd4e1e2835bf31f1e2 (diff) | |
Merge branch 'master' into 'master'
Fix a mistake in man french translation
See merge request apt-team/apt!83
| -rw-r--r-- | doc/po/fr.po | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/po/fr.po b/doc/po/fr.po index b9b6b2e76..3ba1b5c34 100644 --- a/doc/po/fr.po +++ b/doc/po/fr.po @@ -3609,7 +3609,7 @@ msgid "" "clearsign -o InRelease Release</command> and <command>gpg -abs -o Release." "gpg Release</command>." msgstr "" -"<emphasis>le signer</emphasis>, avec les commande <command>gpg -- clearsign -" +"<emphasis>le signer</emphasis>, avec les commandes <command>gpg --clearsign -" "o InRelease Release</command> et <command>gpg -abs -o Release.gpg Release</" "command>." |