diff options
| author | Julian Andres Klode <jak@debian.org> | 2020-11-25 18:02:03 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2020-11-25 18:02:03 +0000 |
| commit | 6530ce64d2337ab309d6c974202243abb09d2d04 (patch) | |
| tree | 20e5a01e2c7c206ccf8d4d7f72f6416b4118218d /doc | |
| parent | 1077af2e635df738f351d5ea3515804a4de367ea (diff) | |
| parent | e5bb443cf58cec23503ad0deeeb06a080053da8a (diff) | |
Merge branch 'feature/rred' into 'master'
Enhance rred for possible external usage
See merge request apt-team/apt!136
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/examples/configure-index | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index d9f269344..0af923811 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -830,6 +830,9 @@ dir::filelistdir "<STRING>"; dir::dpkg::tupletable "<FILE>"; dir::dpkg::triplettable "<FILE>"; dir::dpkg::cputable "<FILE>"; +Rred::t "<BOOL>"; +Rred::f "<BOOL>"; +Rred::Compress "<STRING>"; APT::Internal::OpProgress::Absolute "<BOOL>"; APT::Color "<BOOL>"; |