diff options
author | Julian Andres Klode <jak@debian.org> | 2019-01-22 10:54:07 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2019-01-22 10:54:07 +0000 |
commit | 01c57d7235e9013a977646cbee73af43cbc1048b (patch) | |
tree | 20c6953585a1c55472b6bf73197dc0bf48b4d35e /cmdline/apt-internal-planner.cc | |
parent | 1351fb372ae01453166682e8e12484b2e02c759b (diff) | |
parent | be7eb047e1202971f84bb4ac27e796d85bebdce9 (diff) |
Merge branch 'pu/minimize-manual' into 'master'
apt-mark minimize-manual
See merge request apt-team/apt!39
Diffstat (limited to 'cmdline/apt-internal-planner.cc')
0 files changed, 0 insertions, 0 deletions