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/it.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/it.po')
| -rw-r--r-- | po/it.po | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2594,9 +2594,9 @@ msgstr "Analisi di %s non riuscita: modificare nuovamente?" #: apt-private/private-sources.cc #, c-format -msgid "Your '%s' file changed, please run 'apt-get update'." +msgid "Your '%s' file changed, please run 'apt-get update'.\n" msgstr "" -"Il proprio file \"%s\" è stato modificato: eseguire \"apt-get update\"." +"Il proprio file \"%s\" è stato modificato: eseguire \"apt-get update\".\n" #: apt-private/private-unmet.cc #, c-format |