diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-14 10:50:56 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-14 10:50:56 +0200 |
| commit | 51c4e07f4cba0615ff269b5a8d04dfd3d1313b00 (patch) | |
| tree | 40ce3c71671144c3d367d42c06a7dfa91eb8dc5e /doc/apt_preferences.5.xml | |
| parent | dd14b7a562c54bb9ce551da1f8a80c78da5a4b6e (diff) | |
| parent | 14c50b58e938cf78ce2d32d4ec39979f7575c543 (diff) | |
Merge branch 'debian/experimental' of https://github.com/DonKult/apt into debian/experimental
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 81e0bd220..28b795d43 100644 --- a/doc/apt_preferences.5.xml +++ b/doc/apt_preferences.5.xml @@ -267,7 +267,7 @@ expression surrounded by slashes). <programlisting> Package: gnome* /kde/ -Pin: release n=experimental +Pin: release a=experimental Pin-Priority: 500 </programlisting> |