chiark / gitweb /
Merge branch 'ndk14' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 20 Mar 2017 09:38:58 +0000 (09:38 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 20 Mar 2017 09:38:58 +0000 (09:38 +0000)
commit71ff1d6257022f4883de5b6b542565e181a1574d
treeb54e3a091877710abab40602a5feea7f6f4f4f4a
parent9b12aa6f7131a279841229293fcf799b8bd8cd0e
parented310f04045d383d9e58c9f8fd415b1f7d3049d2
Merge branch 'ndk14' into 'master'

makebs: add ndk r14

See merge request !231