diff options
| author | Julian Andres Klode <jak@debian.org> | 2020-02-26 18:42:13 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2020-02-26 18:42:13 +0000 |
| commit | c38e0047d95305e5984e822f670055cde6aa5f6a (patch) | |
| tree | 71eb37d2df34eebc91cffbb46a879bd21a12b8e7 /apt-pkg/policy.h | |
| parent | a096b580694cb36f29cdbce8f1db797a08e36709 (diff) | |
| parent | 62ca61ff4ac794f9c42335d8286343149d4313d1 (diff) | |
Merge branch 'pu/misc' into 'master'
Pu/misc
See merge request apt-team/apt!107
Diffstat (limited to 'apt-pkg/policy.h')
0 files changed, 0 insertions, 0 deletions