Closed Voidminded closed 6 years ago
Fix for issue #40: Build fail when using catkin build instead of catkin_make
Confirmed, thanks!
Fix for issue #40: Build fail when using catkin build instead of catkin_make