chiark / gitweb /
Merge branch 'ndk-r12' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 18 Jul 2016 14:50:51 +0000 (14:50 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 18 Jul 2016 14:50:51 +0000 (14:50 +0000)
commit9be1c75e586658349e61d993f2e47c671d7bda5b
treec3230153336b74ae0e9e3957c562155dde227658
parentad966c5bd98073466024bc735ec3cbfa3c99513b
parentd375318550b47b4fc697a69f9cb108ab8bd44916
Merge branch 'ndk-r12' into 'master'

NDK r12

See merge request !147
docs/fdroid.texi
fdroidserver/build.py