diff options
| author | Julian Andres Klode <jak@debian.org> | 2022-06-29 13:30:03 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2022-06-29 13:30:03 +0000 |
| commit | e4230878687c6d9bd3b13552bb2c1053b9d7d7d8 (patch) | |
| tree | 6f1583b7198ce4c8f2e8a66936f53186857f2caf /doc | |
| parent | edffb0ae26935d948ffeb3be229fdcf37d2a1ee1 (diff) | |
| parent | 20739359fa936c0851a4c0f37667526d98c22761 (diff) | |
Merge branch 'pu/phasing-better' into 'main'
Rewrite phased updates using a keep-back approach
See merge request apt-team/apt!245
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 ce51153c3..07feea4dc 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -105,6 +105,7 @@ APT Upgrade-Allow-New "<BOOL>"; Always-Include-Phased-Updates "<BOOL>"; Never-Include-Phased-Updates "<BOOL>"; + Phase-Policy "<BOOL>"; // internal Purge "<BOOL>"; ReInstall "<BOOL>"; Compile "<BOOL>"; |