diff options
| author | Julian Klode <jak@debian.org> | 2018-01-03 21:05:16 +0000 |
|---|---|---|
| committer | Julian Klode <jak@debian.org> | 2018-01-03 21:05:16 +0000 |
| commit | 6ee1b762322e725d50ea53e2cf16f8450e23c578 (patch) | |
| tree | 92e1f41ec370d6064c9236fb28644cfc488a59a7 /debian | |
| parent | 5b197e9de5376e191018562309e2d42123c27a1d (diff) | |
| parent | e4ed47f10844cf7ad933f7a9b64583869592f139 (diff) | |
Merge branch 'feature/amtshilfe' into 'master'
reimplement mirror method
See merge request apt-team/apt!1
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/apt.install | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/apt.install b/debian/apt.install index d30f429b0..705ea12d2 100644 --- a/debian/apt.install +++ b/debian/apt.install @@ -35,6 +35,9 @@ usr/share/man/*/apt-get.* usr/share/man/*/apt-key.* usr/share/man/*/apt-mark.* usr/share/man/*/apt-secure.* +usr/share/man/*/apt-transport-http.* +usr/share/man/*/apt-transport-https.* +usr/share/man/*/apt-transport-mirror.* usr/share/man/*/apt.* usr/share/man/*/apt_auth.* usr/share/man/*/apt_preferences.* |