diff options
author | Hans-Christoph Steiner <hans@eds.org> | 2017-02-15 14:21:43 +0100 |
---|---|---|
committer | Mattia Rizzolo <mattia@debian.org> | 2017-02-15 14:54:04 +0100 |
commit | 12150ef0d51c7e99151eeda92d748c7e3c51bf6f (patch) | |
tree | 649a847175ab278ec7b0115f84c37a68630a70da /hosts/profitbricks-build15-amd64/etc/apt/apt.conf.d/80proxy | |
parent | 55af235ed4815d73139935611e1a973f7abc11f3 (diff) | |
download | jenkins.debian.net-12150ef0d51c7e99151eeda92d748c7e3c51bf6f.tar.xz |
reproducible fdroid: use Android SDK from Debian/stretch packages
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Diffstat (limited to 'hosts/profitbricks-build15-amd64/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions