diff options
| author | fig02 <fig02srl@gmail.com> | 2023-12-10 14:53:51 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-10 14:53:51 -0500 |
| commit | 0ed57f61b76170e378247edbd2557b789cdb93ad (patch) | |
| tree | 4cfc58ea99ab5eb0c84a95e81728ea6cd0e67406 /docs/tutorial | |
| parent | cc96184a96c4fef61917ce895c615cca6e1128fa (diff) | |
Cleanup: Remove uneeded casts on collider members (#1595)
* rm casts
* format
Diffstat (limited to 'docs/tutorial')
0 files changed, 0 insertions, 0 deletions