diff options
| author | Julian Andres Klode <jak@debian.org> | 2022-07-24 15:00:47 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2022-07-24 15:00:47 +0000 |
| commit | b31829210ef344517e2ea5702a008ccf4663212d (patch) | |
| tree | a25b5b63d2295a50c19ada111102c98d7dff2bfa /doc | |
| parent | b141ce0d355e667885536790ea5caa2d4d86d333 (diff) | |
| parent | c28fc7366c6645cb6d1010a44ce494b5ae1b9a9f (diff) | |
Merge branch 'pu/upgrade-other-binaries' into 'main'
Upgrade all binaries in a source package
See merge request apt-team/apt!247
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/examples/configure-index | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index 07feea4dc..b3deccaaf 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -103,6 +103,7 @@ APT Upgrade "<BOOL>"; Only-Upgrade "<BOOL>"; Upgrade-Allow-New "<BOOL>"; + Upgrade-By-Source-Package "<BOOL>"; Always-Include-Phased-Updates "<BOOL>"; Never-Include-Phased-Updates "<BOOL>"; Phase-Policy "<BOOL>"; // internal |