diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2007-06-09 00:19:51 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2007-06-09 00:19:51 +0200 |
| commit | 408a4726131e9db26ff868623a5d216a26c45a50 (patch) | |
| tree | a8b470ee8fd8d22e74e1245edb2b36400b9226dd /doc/apt_preferences.5.xml | |
| parent | 1979e742ad5e2a0b6e547fbe3f4c4066b5a9bd2e (diff) | |
| parent | 484dbb814fd2b787b2206ffe9504798dfd73ae6c (diff) | |
* huge merge to bring the apt debian-sid and ubuntu branches as close
as possible to apt--mvo again
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 175339f5a..ab0107d36 100644 --- a/doc/apt_preferences.5.xml +++ b/doc/apt_preferences.5.xml @@ -184,7 +184,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 |