chiark / gitweb /
~ianmdlvl / fdroidserver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 997289d 2c0e430)
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)
makebuildserver: do not provision excessive NDKs

See merge request fdroid/fdroidserver!463


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.