remove wrong pin-priority is optional remark (Closes: #574944)
authorDavid Kalnischkies <kalnischkies@gmail.com>
Fri, 26 Mar 2010 23:01:34 +0000 (00:01 +0100)
committerDavid Kalnischkies <kalnischkies@gmail.com>
Fri, 26 Mar 2010 23:01:34 +0000 (00:01 +0100)
commitb569b4650c647c3aef5341c40d208a37211b57aa
tree0560257bc6a7b90fff154ed99beccccd89fd71dc
parent4fb6fdaf95de3db51ef386de7b494ed4c889bedc
remove wrong pin-priority is optional remark (Closes: #574944)
debian/changelog
doc/apt_preferences.5.xml