chiark / gitweb /
makebuildserver: upgrade NDK r15b to r15c
authorrelan <email@hidden>
Fri, 11 Aug 2017 07:19:40 +0000 (10:19 +0300)
committerrelan <email@hidden>
Fri, 11 Aug 2017 07:19:40 +0000 (10:19 +0300)
commit6f05cf85f9b7f40b7e84001de7aed9e0a907d3a2
tree0bd8ded1751d8618dbf4843286cbe69fd4df9522
parentc67f8e349ce13e9a742b6f1a33fb5c391b3a7279
makebuildserver: upgrade NDK r15b to r15c
buildserver/config.buildserver.py
examples/config.py
fdroidserver/common.py
makebuildserver