diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2008-05-05 11:21:13 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2008-05-05 11:21:13 +0200 |
| commit | a2ec4d22dd77a363cd5b1f8b55ed34ba88331396 (patch) | |
| tree | 1f4995e44a20923ecc69c3ed30ec788d38b81b49 /doc/apt_preferences.5.xml | |
| parent | 5c92e3800d6ce8e9cde1e2816bd76c975d9342a7 (diff) | |
| parent | 549da1a850f0fd50e0a55415452ecaa735d49451 (diff) | |
merged from debian
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..c55bb4ee2 100644 --- a/doc/apt_preferences.5.xml +++ b/doc/apt_preferences.5.xml @@ -422,7 +422,7 @@ one or more lines beginning with the word <literal>Explanation:</literal>. This provides a place for comments.</para> <para>The <literal>Pin-Priority:</literal> line in each APT preferences record is -optional. If omitted, APT assigs a priority of 1 less than the last value +optional. If omitted, APT assigns a priority of 1 less than the last value specified on a line beginning with <literal>Pin-Priority: release ...</literal>.</para> </refsect2> </refsect1> |