diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-05 12:51:18 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-05 12:51:18 +0100 |
| commit | 5dfefc651711ea1f777e976d86a57ef6094e8be3 (patch) | |
| tree | 903f07df6c6280dec78e3db7babea3c2add134ed /platform/android/java | |
| parent | ac0c757e4680c992123d18a604765c6cbc3c000b (diff) | |
| parent | b6550c46ee0a42c7da516e3fc0299156d308eee4 (diff) | |
Merge pull request #70694 from BastiaanOlij/change_openxr_extensions
Various improvements to OpenXR extension wrappers
Diffstat (limited to 'platform/android/java')
0 files changed, 0 insertions, 0 deletions