chiark / gitweb /
Merge branch 'remove-ndk-r9b' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 12 Feb 2018 10:55:02 +0000 (10:55 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 12 Feb 2018 10:55:02 +0000 (10:55 +0000)
commitef9b89f4ec29a66bcd38a557a639c9473a94af19
tree78738757858d32047068d92acd26821793894d9e
parent8326e62235a537b5e3e46e0aae22a7d09746e02b
parent76da21f121e40c1844237da340322e46bd0bf7c6
Merge branch 'remove-ndk-r9b' into 'master'

makebuildserver: remove NDK r9b to save 1.6 GB of disk space

See merge request fdroid/fdroidserver!459
buildserver/config.buildserver.py
examples/config.py
fdroidserver/common.py
makebuildserver