diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-25 16:25:11 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-25 16:25:31 +0100 |
commit | 2a36127e342828d3f21539f1a21f3769405adff1 (patch) | |
tree | b04182541445e3618ba6560fd4b32e61398b433d /thirdparty/recastnavigation/Recast | |
parent | a9fbf3718d4f8455dee1ebad05374d7baf714370 (diff) |
Android: Remove extra arch suffix now redundant with the default one
We would needlessly get file names like `*.arm64.armv8.o`.
Diffstat (limited to 'thirdparty/recastnavigation/Recast')
0 files changed, 0 insertions, 0 deletions