chiark / gitweb /
Merge branch 'ndk' into 'master'
authorHans-Christoph Steiner <hans@eds.org>
Tue, 4 Jul 2017 12:34:42 +0000 (14:34 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 4 Jul 2017 12:34:42 +0000 (14:34 +0200)
commit6d7fd5f07c5dabe6ce2cd7bb509f772a932496c3
tree2389d09a9f0272c70627d46ae510d5e3fb3ee231
parent2508393884ea19ed66c0ea0929a635b98d0938ca
parent86b403b5993c61b2e81b65965885d39f1364a0d3
Merge branch 'ndk' into 'master'

NDK r14b and r15b

See merge request !293
fdroidserver/common.py