diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2016-05-08 18:03:48 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2016-05-08 18:15:28 +0200 |
| commit | 39c724b4848ef8d85c8c425f982dda85f0df1277 (patch) | |
| tree | 613d716bad39d93e47c058e49db07e1af3087570 /debian | |
| parent | 7f2d1eef183dbebaaabe07a296d9a97e9cfd0f4a (diff) | |
implement Identifier field for IndexTargets
A frontend like apt-file is only interested in a specific set of files
and selects those easily via "Created-By". If it supports two locations
for those files through it would need to select both and a user would
need to know that implementation detail for sources.list configuration.
The "Identifier" field is hence introduced which by default has the same
value as "Created-By", but can be freely configured – especially it can
be used to give two indexes the same identifier.
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/apt-doc.docs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/apt-doc.docs b/debian/apt-doc.docs index df9701123..d59100e8d 100644 --- a/debian/apt-doc.docs +++ b/debian/apt-doc.docs @@ -1,2 +1,3 @@ README.progress-reporting doc/external-dependency-solver-protocol.txt +doc/acquire-additional-files.txt |