Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This was brought over from `ncollide` and was unused at the time. This code generates warnings in nightly builds due to being dead.
- Loading branch information