chiark / gitweb /
makebuildserver: upgrade NDK r16 to r16b
authorrelan <email@hidden>
Sun, 11 Feb 2018 07:20:42 +0000 (10:20 +0300)
committerrelan <email@hidden>
Sun, 11 Feb 2018 07:20:42 +0000 (10:20 +0300)
commit6f295cb3d3285d836d36d4ba8b5457cc781297fc
treedece9e894c72dc801238ca1f167177464ecb2f84
parentbc5bf7e0ec2bdf3f596b512b875f66306979a0cf
makebuildserver: upgrade NDK r16 to r16b
buildserver/config.buildserver.py
examples/config.py
fdroidserver/common.py
makebuildserver