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 /apt-private/private-cmndline.h | |
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 'apt-private/private-cmndline.h')
-rw-r--r-- | apt-private/private-cmndline.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/apt-private/private-cmndline.h b/apt-private/private-cmndline.h index 37fe2c91a..22e25d280 100644 --- a/apt-private/private-cmndline.h +++ b/apt-private/private-cmndline.h @@ -23,6 +23,7 @@ enum class APT_CMD { APT_SORTPKG, APT_DUMP_SOLVER, APT_INTERNAL_PLANNER, + RRED, }; struct aptDispatchWithHelp { |