diff options
author | Julian Andres Klode <jak@debian.org> | 2016-03-16 16:46:39 +0100 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2016-03-16 17:56:50 +0100 |
commit | f695e76199a43b7f4d5816e20d18496b6448b833 (patch) | |
tree | b7901f1620a15e630e47d6b0e2c438a76a9e9e8f /doc/guide.dbk | |
parent | fb193b1cd43f0e8c3b7e5f69f183b9abe7e83761 (diff) |
Report non-transient errors as errors, not as warnings
This makes it easier to understand what really is an error
and what not.
Diffstat (limited to 'doc/guide.dbk')
0 files changed, 0 insertions, 0 deletions