diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-03-07 09:32:17 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-07 09:32:17 +0100 |
commit | 8cb6d5daa4e41443d658265379b6079d8a087b41 (patch) | |
tree | d428272dcd1536984990296b738eee88740cdd39 /thirdparty/pcre2 | |
parent | b9f2f77dba00810ed83a4512bab9cf652c2627a0 (diff) | |
parent | 0ca17116815176a17e1849c261514eb32347b81a (diff) |
Merge pull request #36873 from BastiaanOlij/arvr_controller_button_is_bool
ARVRController.is_button_pressed requires to return a boolean
Diffstat (limited to 'thirdparty/pcre2')
0 files changed, 0 insertions, 0 deletions