diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2017-04-28 18:18:28 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2017-06-26 23:31:15 +0200 |
| commit | 6829c5420b4c2e434489e837cad6f3fd09fa3ab3 (patch) | |
| tree | 131c32bc0eae7b2f500351501e4a72628e4e6dc8 /doc/apt_preferences.5.xml | |
| parent | e91dd46e3f65517ed9dbc6e431a56112a403cb3e (diff) | |
clean archives without changing directory
Adopting this change in other frontends will require source changes as
well similar to our own changes in apt-private/.
Diffstat (limited to 'doc/apt_preferences.5.xml')
0 files changed, 0 insertions, 0 deletions