diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2006-07-03 22:02:41 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2006-07-03 22:02:41 +0200 |
| commit | e9afbeb9df95b582aac76bb44b5ae2b766ab8fd5 (patch) | |
| tree | bca5e0983e12e1908827b161e063ec2df7390cf2 /doc/apt_preferences.5.xml | |
| parent | b7952f4b67d7021dc912aed5f38bc45f03bfc064 (diff) | |
| parent | 6b6afec3673bd1685e62a5c4b1803531a44add82 (diff) | |
* merged the debian--auto-mark patch
* updated the library soname
Diffstat (limited to 'doc/apt_preferences.5.xml')
| -rw-r--r-- | doc/apt_preferences.5.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/apt_preferences.5.xml b/doc/apt_preferences.5.xml index 3e50bef8c..12b03196a 100644 --- a/doc/apt_preferences.5.xml +++ b/doc/apt_preferences.5.xml @@ -183,7 +183,7 @@ belonging to any distribution whose Archive name is "<literal>unstable</literal> <programlisting> Package: * Pin: release a=unstable -Pin-Priority: 50 +Pin-Priority: 500 </programlisting> <simpara>The following record assigns a high priority to all package versions |