diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2016-07-22 12:33:45 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2016-07-22 16:05:09 +0200 |
| commit | 503c7d594125f963b92047ad2d9d0644f39136c7 (patch) | |
| tree | 36f0aebed7244ad138cd1705e80a8e05126c90a9 /doc/xml.add | |
| parent | a913e64ead6ada2adae6fb5f35212187ad5acd01 (diff) | |
report warnings&errors consistently in edit-sources
After editing the sources it is a good idea to (re)built the caches as
they will be out-of-date and doing so helps in reporting higherlevel
errors like duplicates sources.list entries, too, instead of just
general parsing errors as before.
Diffstat (limited to 'doc/xml.add')
0 files changed, 0 insertions, 0 deletions