]> git.saurik.com Git - apt.git/commit
projects / apt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5fba946) | patch
apt_preferences(5): Correct default pin assignment documentation
authorJulian Andres Klode <jak@debian.org>
Fri, 14 Aug 2015 15:22:30 +0000 (17:22 +0200)
committerJulian Andres Klode <jak@debian.org>
Fri, 14 Aug 2015 15:22:30 +0000 (17:22 +0200)
commit1bdfd2c9de1126522fee08007908a05af32ee8b1
tree2d129beef59325951cd70578d92a7b4a79c39a46tree | snapshot
parent5fba9462b635c95d2cb329a388d469bd50889974commit | 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
doc/apt_preferences.5.xml diff | blob | blame | history
APT (for Cydia)