Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Warn if inflation_radius_ < inscribed_radius_ (ros-navigation#4423)
* Warn if inflation_radius_ < inscribed_radius_ Signed-off-by: Tony Najjar <tony.najjar.1997@gmail.com> * convert to error Signed-off-by: Tony Najjar <tony.najjar.1997@gmail.com> --------- Signed-off-by: Tony Najjar <tony.najjar.1997@gmail.com>
- Loading branch information