diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-21 11:06:20 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-21 11:06:20 +0200 |
commit | e9ad0fd1909bfeec20fccf9cd23bcbac09539427 (patch) | |
tree | 572f2e757dac811f117cd5748ccc71e692b39c52 /modules/openxr | |
parent | 28e1dc616253af79effbe4d3fb5d7f2bd531a8fa (diff) | |
parent | b7c3bbc6271a327637e7e713671160c1cc88aaa4 (diff) |
Merge pull request #66181 from touilleMan/extension_api_dump-correct-keyed
Fix is_keyed param in extension_api.json
Diffstat (limited to 'modules/openxr')
0 files changed, 0 insertions, 0 deletions