chiark / gitweb /
Merge pull request #43 from nickdesaulniers/android
authornickjsanders <nick.j.sanders@gmail.com>
Fri, 7 Oct 2016 03:15:18 +0000 (20:15 -0700)
committerGitHub <noreply@github.com>
Fri, 7 Oct 2016 03:15:18 +0000 (20:15 -0700)
commit880fb47e66e138b49f059fa6f5739a2bef8a84a3
treed7c0138ba21d992e02e499b257cd2b902f573261
parent14355fcf95e3089f20cfd36dbd457343f7b2b740
parent1c66ad6b0199d56c689b0e79ce90d419e3203e2c
Merge pull request #43 from nickdesaulniers/android

update Android build