diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-12 20:46:00 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-12 20:51:08 +0200 |
| commit | 85b9b32933eaeda6119d7a0224b5070ab8230c6b (patch) | |
| tree | 02bad5f7147140bcf9d756175308e610e4240e7e /doc/xml.add | |
| parent | 809aa216c630f1cc61b0c3b9d992d4a3be14be3c (diff) | |
apt_preferences(5): Re-document how priorities are calculated
The old text did not match either the old or the new implementation,
so let's rewrite it to explain the new implementation.
Closes: #554773
Diffstat (limited to 'doc/xml.add')
0 files changed, 0 insertions, 0 deletions