Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ignore Debian-specific error around urdfdom_headers
Without the patch: $ catkin_lint rviz_marker_tools/ rviz_marker_tools: package.xml: error: missing build_depend on 'urdfdom_headers' requires catkin_lint 1.6.24 for successful error suppression.
- Loading branch information