diff options
| author | Julian Andres Klode <jak@debian.org> | 2019-08-19 14:15:49 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2019-08-19 14:15:49 +0000 |
| commit | de951e5619f55c8281389a5c5986792f5453e602 (patch) | |
| tree | fe9664d72c563e00e63e4acd83e6c1b21f8fa12c /debian | |
| parent | 7c724251fd8c24e89dc8cb813eee20aa0a4ad793 (diff) | |
| parent | d18b6095862e8268b4d2cd8c0b3140829a1e4950 (diff) | |
Merge branch 'pu/patterns' into 'master'
Package patterns
See merge request apt-team/apt!74
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/apt.install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/apt.install b/debian/apt.install index f12eb240d..f745b3de5 100644 --- a/debian/apt.install +++ b/debian/apt.install @@ -37,6 +37,7 @@ usr/share/man/*/apt-get.* usr/share/man/*/apt-key.* usr/share/man/*/apt-mark.* usr/share/man/*/apt-secure.* +usr/share/man/*/apt-patterns.* usr/share/man/*/apt-transport-http.* usr/share/man/*/apt-transport-https.* usr/share/man/*/apt-transport-mirror.* |