diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-14 16:57:02 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-14 16:57:02 +0200 |
| commit | 5fba9462b635c95d2cb329a388d469bd50889974 (patch) | |
| tree | 72d15312c7c4fda85d3dac2b506a3cf0d45474aa /doc/apt_preferences.5.xml | |
| parent | 714c23a791971037518ccc07c497fe3c6451f82c (diff) | |
apt-cache(8): Mention that --names-only search provides
Closes: #618017
Diffstat (limited to 'doc/apt_preferences.5.xml')
0 files changed, 0 insertions, 0 deletions