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 /apt-private/private-main.h | |
| 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 'apt-private/private-main.h')
0 files changed, 0 insertions, 0 deletions