diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2023-01-12 00:56:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-12 00:56:51 +0100 |
| commit | 2fcd298f96b75b77df368e67129c9d13a53adfbd (patch) | |
| tree | e9069497537008c8789740bc5b2c9ece1ca19cad /thirdparty/misc | |
| parent | 201673ecd8d8d6baba67f1db5120a3565640f9bd (diff) | |
| parent | b51acac638503c2b114403bbbf4e5ff63ef90dea (diff) | |
Merge pull request #71034 from rsjtdrjgfuzkfg/openxr-android-warning
OpenXR: Fix android loader extension detection
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions