diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-07-06 16:49:54 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-06 16:49:54 +0200 |
commit | a535b9160dbbcfad1884ff4a147672a0eb366a9d (patch) | |
tree | b2eb74653cd1738004bd8af44831e46731c8e32a /thirdparty/bullet/BulletInverseDynamics/IDConfig.hpp | |
parent | 80582d1f826826033749824a5e367b4c0222a7e9 (diff) | |
parent | de3ad3b30ecb8de1aa112df7d61630102f077b5b (diff) |
Merge pull request #40155 from rcorre/warning-names
Include gdscript warning name in the warning message.
Diffstat (limited to 'thirdparty/bullet/BulletInverseDynamics/IDConfig.hpp')
0 files changed, 0 insertions, 0 deletions