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)
update Android build


Trivial merge