chiark / gitweb /
Merge branch 'fix-excessive-ndk' into 'master'
authorMarcus <bubu@bubu1.eu>
Wed, 14 Feb 2018 23:54:00 +0000 (23:54 +0000)
committerMarcus <bubu@bubu1.eu>
Wed, 14 Feb 2018 23:54:00 +0000 (23:54 +0000)
commite6208da7ca51c9bfb7985da8f51128559de36769
tree421ee2da1a08987b43e50fa55aac31bf0e2b568c
parent997289d9cabd3e1ec2d3862c3649250362d748c6
parent2c0e430a2d8c913e7090a5395b4aece3239f429c
Merge branch 'fix-excessive-ndk' into 'master'

makebuildserver: do not provision excessive NDKs

See merge request fdroid/fdroidserver!463