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/nl.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/nl.po')
| -rw-r--r-- | po/nl.po | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2588,8 +2588,8 @@ msgstr "Verwerken van %s is mislukt. Opnieuw bewerken? " #: apt-private/private-sources.cc #, c-format -msgid "Your '%s' file changed, please run 'apt-get update'." -msgstr "Uw bestand '%s' is gewijzigd. Voer 'apt-get update' uit." +msgid "Your '%s' file changed, please run 'apt-get update'.\n" +msgstr "Uw bestand '%s' is gewijzigd. Voer 'apt-get update' uit.\n" #: apt-private/private-unmet.cc #, c-format |