diff options
author | Julian Andres Klode <jak@debian.org> | 2019-04-04 14:30:57 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2019-04-04 14:30:57 +0000 |
commit | 049dec37441f9df294db5d8adc59b93851deb6a7 (patch) | |
tree | 6eb369e7a7245fa8514bcf38ded91eb1506c6837 /doc/acquire-additional-files.md | |
parent | 0ea7c474182f81e2b7d728569a2fd7b8fa915f3f (diff) | |
parent | 30e6fad9ad892a21d271fa93319f7a3ee23da134 (diff) |
Merge branch 'docs' into 'master'
Perform minor copy-editing on the docs
See merge request apt-team/apt!58
Diffstat (limited to 'doc/acquire-additional-files.md')
-rw-r--r-- | doc/acquire-additional-files.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/acquire-additional-files.md b/doc/acquire-additional-files.md index 30c83ef25..5b0335bc2 100644 --- a/doc/acquire-additional-files.md +++ b/doc/acquire-additional-files.md @@ -96,7 +96,7 @@ Additional optional properties: deal with compressed files transparently you have to explicitly set this option to `false` to avoid problems with users setting the option globally. On the other hand, if you set it to `true` or don't set it you - have to ensure your front-end can deal with all compressed fileformats + have to ensure your front-end can deal with all compressed file formats supported by apt (libapt users can e.g. use `FileFd`, others can use the `cat-file` command of `/usr/lib/apt/apt-helper`). * `Fallback-Of`: Is by default not set. If it is set and specifies another |