diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-11 10:21:29 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-11 13:59:15 +0200 |
| commit | 1d203ce78e6f80792e8c1f99701ff1b1daca534c (patch) | |
| tree | b2a26e50c2499ed6329e781f2756ac8fdafb5953 /doc/examples/configure-index | |
| parent | 9b7d159f7c323a16b26c365d7fa1e2886f5ef278 (diff) | |
Simply ignore cruft in the status files, do not treat it as prio 0
This was broken in case all other sources were < 0.
Diffstat (limited to 'doc/examples/configure-index')
0 files changed, 0 insertions, 0 deletions