diff options
| author | Julian Andres Klode <jak@debian.org> | 2018-08-07 13:03:50 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2018-08-07 13:03:50 +0000 |
| commit | 1ff389a5053e9ece91db8199afdcec16090a76b0 (patch) | |
| tree | 3e70673822872cb58349dc37c3a299496574d812 /po/fr.po | |
| parent | 91671efc7f63b3e2ff2a573d86ac3225e9b5f9cd (diff) | |
| parent | 8a6caaf869ea87ade6043169076bda04a0dc6cb6 (diff) | |
Merge branch 'master' into 'master'
Add trailing newline to output of edit-sources.
See merge request apt-team/apt!22
Diffstat (limited to 'po/fr.po')
| -rw-r--r-- | po/fr.po | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2634,8 +2634,8 @@ msgstr "Impossible de lire %s. Faut-il l'éditer à nouveau ?" #: apt-private/private-sources.cc #, c-format -msgid "Your '%s' file changed, please run 'apt-get update'." -msgstr "Votre fichier « %s » a changé, veuillez lancer « apt-get update »." +msgid "Your '%s' file changed, please run 'apt-get update'.\n" +msgstr "Votre fichier « %s » a changé, veuillez lancer « apt-get update ».\n" #: apt-private/private-unmet.cc #, c-format |