diff options
author | Julian Andres Klode <jak@debian.org> | 2015-08-14 17:22:30 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2015-08-14 17:22:30 +0200 |
commit | 1bdfd2c9de1126522fee08007908a05af32ee8b1 (patch) | |
tree | 2d129beef59325951cd70578d92a7b4a79c39a46 /ftparchive/contents.cc | |
parent | 5fba9462b635c95d2cb329a388d469bd50889974 (diff) |
apt_preferences(5): Correct default pin assignment documentation
This was broken, as higher pins were also assigned to versions
that are installed.
Closes: #623706
Diffstat (limited to 'ftparchive/contents.cc')
0 files changed, 0 insertions, 0 deletions