diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-01-16 13:58:08 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-16 13:58:08 +0100 |
commit | 9c1768836f25e780a7ef51a1d18a0a15e0b55e42 (patch) | |
tree | b49c350fa2c0aaaca68020d52b8e3aac89af1b9f /thirdparty/misc/clipper.hpp | |
parent | 58d7619a79362cfb1b83b6fdba3c7b3609a92f07 (diff) | |
parent | 9e820cdf200576cefaabc2021a800771cd6700a7 (diff) |
Merge pull request #25037 from akien-mga/android-enable-arm64
Android: Enable arm64-v8a export by default
Diffstat (limited to 'thirdparty/misc/clipper.hpp')
0 files changed, 0 insertions, 0 deletions